4 papers
Automating System Configuration
Nestan Tsiskaridze, Maxwell Strange, Makai Mann +4
The increasing complexity of modern configurable systems makes it critical to improve the level of automation in the process of system configuration. Such automation can also impro…
lazybvtoint at the SMT Competition 2020
Yoni Zohar, Ahmed Irfan, Makai Mann +3
lazybvtoint is a new prototype SMT-solver, that will participate in the incremental and non-incremental tracks of the \qfbv logic.
Smt-Switch: a solver-agnostic C++ API for SMT Solving
Makai Mann, Amalee Wilson, Cesare Tinelli +1
This extended abstract describes work in progress on Smt-Switch, an open-source, solver-agnostic API for SMT solving. Smt-Switch provides an abstract interface, which can be implem…
fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components
Lenny Truong, Steven Herbst, Rajsekhar Setaluri +8
While hardware generators have drastically improved design productivity, they have introduced new challenges for the task of verification. To effectively cover the functionality of…