Search for dissertations about: "Per Bjesse"
Found 1 swedish dissertation containing the words Per Bjesse.
-
1. Gate Level Description of Synchronous Hardware and Automatic Verification Based on Theorem Proving
Abstract : Today's hardware development industry faces enormous problems. The primary reason for this is that the complexity of state-of-the-art hardware devices is growing faster than the capacity of the tools that are used to check that they are correct. READ MORE
Result pages:
1