Design Automation Techniques for Approximation Circuits: Verification, Synthesi… Arun Chandrasekharan Daniel Große Rolf Drechsler 0.0 stars
Handbook of Model Checking Edmund M. Clarke Thomas A. Henzinger Helmut Veith Roderick Bloem 0.0 stars
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing T… Wolfgang Kunz Dominik Stoffel 0.0 stars