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

System-Level Specification and Architecture Exploration : an Avionics Codesign Application

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

Formal verification of VHDL using VHDL-like ACL2 models

2001 ◽  
pp. 273-284
Author(s):  
Dominique Borrione ◽  
Philippe Georgelin
Keyword(s):  
Formal Verification

A Comparison of Six Languages for System Level Description of Telecom Applications

2001 ◽  
pp. 181-192 ◽  
Author(s):  
Axel Jantsch ◽  
Shashi Kumar ◽  
Ingo Sander ◽  
Bengt Svantesson ◽  
Johnny Öberg ◽  
...  
Keyword(s):  
System Level

Modeling Interrupts for HW/SW Co-Simulation based on a VHDL/C Coupling

2001 ◽  
pp. 169-178 ◽  
Author(s):  
Matthias Bauer ◽  
Wolfgang Ecker ◽  
Andreas Zinn
Keyword(s):  
Simulation Based

Specification of Embedded Monitors for Property Checking

2001 ◽  
pp. 285-294
Author(s):  
A. Allara ◽  
M. Bombana ◽  
S. Comai ◽  
B. Josko ◽  
R. Schlör ◽  
...  

Automatic VHDL Restructuring for RTL Synthesis Optimization and Testability Improvement

2001 ◽  
pp. 227-238
Author(s):  
Dario Corvino ◽  
Italo Epicoco ◽  
Fabrizio Ferrandi ◽  
Franco Fummi ◽  
Donatella Sciuto
Keyword(s):  
Rtl Synthesis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document