ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Electronic Chips & Systems Design Languages
Latest Publications
TOTAL DOCUMENTS
25
(FIVE YEARS 0)
H-INDEX
1
(FIVE YEARS 0)
Published By Springer US
9781441948847, 9781475733266
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
System-Level Specification and Architecture Exploration : an Avionics Codesign Application
Electronic Chips & Systems Design Languages
◽
10.1007/978-1-4757-3326-6_9
◽
2001
◽
pp. 111-120
Author(s):
François Cloute
◽
Jean-Noël Contensou
◽
Daniel Esteve
◽
Pascal Pampagnin
◽
Philippe Pons
◽
...
Keyword(s):
System Level
◽
Architecture Exploration
Download Full-text
Efficient Modeling of Analog and Mixed A/D Systems via Piece-wise Linear Technique
Electronic Chips & Systems Design Languages
◽
10.1007/978-1-4757-3326-6_4
◽
2001
◽
pp. 43-54
Author(s):
Jerzy Dąbrowski
◽
Andrzej Pułka
Keyword(s):
Linear Technique
◽
Efficient Modeling
Download Full-text
Formal verification of VHDL using VHDL-like ACL2 models
Electronic Chips & Systems Design Languages
◽
10.1007/978-1-4757-3326-6_23
◽
2001
◽
pp. 273-284
Author(s):
Dominique Borrione
◽
Philippe Georgelin
Keyword(s):
Formal Verification
Download Full-text
A Comparison of Six Languages for System Level Description of Telecom Applications
Electronic Chips & Systems Design Languages
◽
10.1007/978-1-4757-3326-6_15
◽
2001
◽
pp. 181-192
◽
Cited By ~ 2
Author(s):
Axel Jantsch
◽
Shashi Kumar
◽
Ingo Sander
◽
Bengt Svantesson
◽
Johnny Öberg
◽
...
Keyword(s):
System Level
Download Full-text
Modeling Interrupts for HW/SW Co-Simulation based on a VHDL/C Coupling
Electronic Chips & Systems Design Languages
◽
10.1007/978-1-4757-3326-6_14
◽
2001
◽
pp. 169-178
◽
Cited By ~ 1
Author(s):
Matthias Bauer
◽
Wolfgang Ecker
◽
Andreas Zinn
Keyword(s):
Simulation Based
Download Full-text
A Synchronous Object-Oriented Design Flow for Embedded Applications
Electronic Chips & Systems Design Languages
◽
10.1007/978-1-4757-3326-6_11
◽
2001
◽
pp. 131-142
Author(s):
P. G. Plöger
◽
Reinhard Budde
◽
Karl H. Sylla
Keyword(s):
Object Oriented
◽
Design Flow
◽
Object Oriented Design
◽
Embedded Applications
Download Full-text
Using SDL to Model Reactive Embedded System in a Co-Design Environment
Electronic Chips & Systems Design Languages
◽
10.1007/978-1-4757-3326-6_10
◽
2001
◽
pp. 121-130
Author(s):
Rajesh Kumar
Keyword(s):
Embedded System
◽
Design Environment
Download Full-text
Formal Specification and Verification of Transfer-protocols for system-design in VHDL
Electronic Chips & Systems Design Languages
◽
10.1007/978-1-4757-3326-6_25
◽
2001
◽
pp. 295-306
Author(s):
Olaf Drögehorn
◽
Heinz-Dieter Hümmer
◽
Walter Geisselhardt
Keyword(s):
System Design
◽
Formal Specification
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Specification of Embedded Monitors for Property Checking
Electronic Chips & Systems Design Languages
◽
10.1007/978-1-4757-3326-6_24
◽
2001
◽
pp. 285-294
Author(s):
A. Allara
◽
M. Bombana
◽
S. Comai
◽
B. Josko
◽
R. Schlör
◽
...
Download Full-text
Automatic VHDL Restructuring for RTL Synthesis Optimization and Testability Improvement
Electronic Chips & Systems Design Languages
◽
10.1007/978-1-4757-3326-6_19
◽
2001
◽
pp. 227-238
Author(s):
Dario Corvino
◽
Italo Epicoco
◽
Fabrizio Ferrandi
◽
Franco Fummi
◽
Donatella Sciuto
Keyword(s):
Rtl Synthesis
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close