DMCA
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming (Extended Abstract) (1995)
| Citations: | 2 - 0 self |
BibTeX
@MISC{Tronci95hardwareverification,,
author = {Enrico Tronci},
title = {Hardware Verification, Boolean Logic Programming, Boolean Functional Programming (Extended Abstract)},
year = {1995}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Keyphrases
boolean function hardware verification verification task boolean function eval automatic verification automatic global optimization enrico tronci mc problem finite list binary decision diagram model checking efficient canonic large class intrinsic limitation matematica pura ed applicata pair tronci smaq20
