Graham, Brian T., 1951-, The secd microprocessor : A verification case study / By Brian t. Graham - xiv, 176 páginas - The kluwer international series in engineering and computer science. vlsi, computer architecture and digital signal processing . ISBN: 0792392450 (papel libre de acido) Subjects--Topical Terms: MicroprocesadoresArquitectura de computadoras LC Class. No.: QA76.5 / G652