NASA NTRS · 19910008258
Hardware verification at Computational Logic, Inc.
Abstract
The following topics are covered in viewgraph form: (1) hardware verification; (2) Boyer-Moore logic; (3) core RISC; (4) the FM8502 fabrication, implementation specification, and pinout; (5) hardware description language; (6) arithmetic logic generator; (7) near term expected results; (8) present trends; (9) future directions; (10) collaborations and technology transfer; and (11) technology enablers.
Keep this discovery
Explore connections, maps & timelines
Brock, Bishop C., Hunt, Warren A., Jr.. 1990-11-01. Hardware verification at Computational Logic, Inc.. https://ntrs.nasa.gov/citations/19910008258
Cite the original work for its findings. Save a collection to share your selection of sources.