Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation.

Marc Boule, Zeljko Zilic

Browse the full ASPDAC paper archive.