Search for dissertations about: "Per Bjesse"

Found 1 swedish dissertation containing the words Per Bjesse.

  2. 1. Gate Level Description of Synchronous Hardware and Automatic Verification Based on Theorem Proving

    Author : Per Bjesse; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    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