Hardware verification, Boolean logic programming, Boolean functional programming | IEEE Conference Publication | IEEE Xplore