Searching for authors named Per Bjesse – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Automatic Verification of Combinational and Pipelined FFT Circuits
- …Automatic verification of combinational and pipelined FFT circuits Per Bjesse Chalmers University…
- Cited by 3 (0 self) – Add To MetaCart
-
Symbolic Model Checking with Sets of States Represented as Formulas
- …Symbolic Model Checking with Sets of States Represented as Formulas Per Bjesse Chalmers University…
- Cited by 3 (1 self) – Add To MetaCart
-
SAT-based Verification without State Space Traversal
- …SAT-based Verification without State Space Traversal Per Bjesse and Koen Claessen Department…
- Cited by 47 (1 self) – Add To MetaCart
-
Lava: Hardware Design in Haskell
- … (or inter- Lava: Hardware Design in Haskell Per Bjesse, Koen Claessen, Mary Sheeran Chalmers…
- Cited by 65 (4 self) – Add To MetaCart
-
A Proof Engine Approach to Solving Combinational Design Automation Problems
- …, Per Bjesse, Byron Cook Prover Technology {guan,bjesse,byron}@(email omitted); Ziyad Hanna Intel Corporation…
- Cited by 12 (1 self) – Add To MetaCart
-
Finding bugs in an alpha microprocessor using satisfiability solvers
- … Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers Per Bjesse1, Tim Leonard2…
- Cited by 51 (0 self) – Add To MetaCart
-
Guiding SAT Diagnosis with Tree Decompositions
- …Guiding SAT Diagnosis with Tree Decompositions Per Bjesse, James Kukula, Robert Damiano, Ted…
- Cited by 13 (0 self) – Add To MetaCart
Showing 1 through 7.
