Sciweavers

70
Voted
EURODAC
1995
IEEE
126views VHDL» more  EURODAC 1995»
15 years 11 days ago
Towards verifying VHDL descriptions of processors
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
Laurent Arditi, Hélène Collavizza