1 - 25 of 4
Number of results to display per page
AuthorTitleSubjectDatePublication Type
1 Xu, YangAlgorithms for automatic generation of relative timing constraintsAsynchronous circuits; Formal verification; Relative timing2011-05dissertation
2 Li, GuodongFormal verification of programs and their transformationsCompiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving2010-12dissertation
3 Kulkarni, Dhanashree R.Improved model generation and property specification for analog/mixed-signal circuitsAMS; Analog; Circuits; Formal verification; Mixed signal; Modeling2013-08thesis
4 Sun, XiaojunWord-level abstractions for sequential design verification using algebraic geometryAlgebraic geometry; Formal verification; Groebner basis; multiplier; normal basis; unsatisfiability2017dissertation
1 - 25 of 4