Verification of Switch-Level Designs with Many-Valued Logic.

Reiner Hhnle, Werner Kernig

Browse the full LPAR paper archive.