Robust Boolean reasoning for equivalence checking and functional property verification 论文
2002IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems引用 331
Formal Methods in VerificationVLSI and Analog Circuit TestingRadiation Effects in Electronics