Assertion-Based Design with Horus

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547691 ◽

2008 ◽

Author(s):

Yann Oddos ◽

Katell Morin-Allory ◽

Dominique Borrione

Download Full-text