Modular Model Checking of VLSI Designs described in VHDL

Fahim Rahim , Emmanuelle Encrenaz (1) , Michel Minoux (2) , Rajesh K. Bawa (1)

1 ASIM - Architecture des Systèmes intégrés et Micro électronique
2 ANP - Algorithmique numérique et parallélisme

Domaines: Informatique [cs]

Fahim Rahim, Emmanuelle Encrenaz, Michel Minoux, Rajesh K. Bawa. Modular Model Checking of VLSI Designs described in VHDL. IEEE International Conference on Computer and their Applications, Mar 1998, Honolulu, Hawai, United States. pp.365-368. ⟨hal-01621482⟩