Marc Boule
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2005–2007
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ASPDAC | Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation. | Marc Boule, Zeljko Zilic |
| 2006 | ICCD | Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug. | Marc Boule, Jean-Samuel Chenard, Zeljko Zilic |
| 2005 | ICCD | Incorporating Ef.cient Assertion Checkers into Hardware Emulation. | Marc Boule, Zeljko Zilic |