Sciweavers

196 search results - page 1 / 40
» Verification of timing Properties of VHDL
Sort
View
113
Voted
CAV
1993
Springer
299views Hardware» more  CAV 1993»
15 years 1 months ago
Verification of timing Properties of VHDL
Costas Courcoubetis, Werner Damm, Bernhard Josko
63
Voted
EURODAC
1995
IEEE
115views VHDL» more  EURODAC 1995»
15 years 1 months ago
Verification of a production cell controller using symbolic timing diagrams
Rainer Schlör, Franz Korf
EURODAC
1994
IEEE
146views VHDL» more  EURODAC 1994»
15 years 1 months ago
Efficient algorithms for interface timing verification
Ti-Yen Yen, Wayne Wolf, Albert E. Casavant, Alex I...
EURODAC
1995
IEEE
156views VHDL» more  EURODAC 1995»
15 years 1 months ago
VHDL quality: synthesizability, complexity and efficiency evaluation
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
M. Mastretti
DAC
2002
ACM
15 years 10 months ago
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
Mike Bartley, Darren Galpin, Tim Blackmore