ACL2 theorems about commercial microprocessors
Lecture notes in computer science1996pp. 275–293
Citations Over TimeTop 1% of 1996 papers
Related Papers
- Pentium processor system architecture(1993)
- → How we made the Pentium processors(2019)2 cited
- Microprosesor Intel: 8086/8088, 80186/80188, 80286, 80386, 80486, Pentium, Pentium Pro Prosesor, Pentium II, Pentium III, Pentium 4= Arsitektur, Pemograman, Dan Antarmuka (Jiilid 2)(2005)
- → Assembly Language Programming with the Pentium: Part 1(2008)