Brian T. Graham – författare
Visar alla böcker från författaren Brian T. Graham. Handla med fri frakt och snabb leverans.
3 produkter
The SECD Microprocessor
A Verification Case Study
Inbunden, 1992
1079 kr
Lägg i varukorg
This is a milestone in machine-assisted microprocessor verification. Gordon [20] and Hunt [32] led the way with their verifications of sim ple designs, Cohn [12, 13] followed this with the verification of parts of the VIPER microprocessor. This work illustrates how much these, and other, pioneers …
SECD Microprocessor
A Verification Case Study
Häftad, 2012
1082 kr
Lägg i varukorg
This is a milestone in machine-assisted microprocessor verification. Gordon [20] and Hunt [32] led the way with their verifications of sim ple designs, Cohn [12, 13] followed this with the verification of parts of the VIPER microprocessor. This work illustrates how much these, and other, pioneers …
SECD Microprocessor
A Verification Case Study
E-bok, 2012
1459 kr
Lägg i varukorg
This is a milestone in machine-assisted microprocessor verification. Gordon [20] and Hunt [32] led the way with their verifications of sim ple designs, Cohn [12, 13] followed this with the verification of parts of the VIPER microprocessor. This work illustrates how much these, and other, pioneers …
