Design of complex systems with a VHDL based methodology
EURO-DAC '92 Proceedings of the conference on European design automation
VHDL 1076–1992 languages changes
EURO-DAC '92 Proceedings of the conference on European design automation
Design and Implementation of Viterbi Decoder with FPGAs
Journal of VLSI Signal Processing Systems
Formal specification in VHDL for hardware verification
Proceedings of the conference on Design, automation and test in Europe
Effective diagnostics through interval unloads in a BIST environment
Proceedings of the 39th annual Design Automation Conference
Protected Shared Variables in VHDL: IEEE Standard 1076a
IEEE Design & Test
Early estimation of the size of VHDL projects
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Developing critical systems with PLD components
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
From PSL to LTL: a formal validation in HOL
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
| Hi-index | 0.00 |