A verification technique for hardware designs.

Fumihiro Maruyama, Takao Uehara, Nobuaki Kawato, Takao Saito

Browse the full DAC paper archive.