Assertion based verification using HDVL

Over the past several years verification of large designs are becoming more and more complex-both in terms of the maintaining the code size and in keeping parity between the specification written in English; design written in HDL (typically Verilog/VHDL) and the verification models-written in HDL or...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Proceedings /17th International Conference on VLSI Design, concurrently with the 3rd International Conference on Embedded Systems Design, 5-9 January, 2004, Mumbai, India s. 319 - 325
Hlavní autori:	Datta, K., Das, P.P.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Los Alamitos CA IEEE 2004 IEEE Computer Society
Predmet:	Applied sciences Computer bugs Design engineering Design. Technologies. Operation analysis. Testing Electronics Exact sciences and technology Formal languages Formal verification Hardware design languages Integrated circuits Natural languages Power engineering and energy Proposals Semiconductor electronics. Microelectronics. Optoelectronics. Solid state devices Sugar industry System testing Integrated circuit design Hardware description languages VLSI circuit Review Coding VHDL language
ISBN:	0769520723, 9780769520728
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!