Our tool TalisMan 1.0 is able to parse and verify AIGs. For further information we refer to the paper Clemens Hofstadler, Daniela Kaufmann. Guess and Prove: A Hybrid Approach to Linear Polynomial ...
Abstract: The operation and reliability of gate driver circuits based on 4H-SiC MOSFETs at temperatures up to 300°C were reported. Due to the advantages of 4H-SiC MOSFETs, the driver circuit can ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback