Automatic assertion extraction in gate-level simulation using GPGPUs.

Shohei Ono, Takeshi Matsumoto, Masahiro Fujita

Browse the full ICCD paper archive.