Sökning: "Per Bjesse"
Hittade 1 avhandling innehållade orden Per Bjesse.
1. Gate Level Description of Synchronous Hardware and Automatic Verification Based on Theorem Proving
Sammanfattning : 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. LÄS MER
Resultatsidor:
1