Recent Research Results

• Hardware
  1. Motorola CAP DSP
  2. AMD5_K86 Floating Point Divide
  3. FM9001 Microprocessor
  4. DUAL-EVAL Hardware Description Language
  5. VHDL Formalization
  6. FM8501 Microprocessor
  
  
• Software
  1. Java Virtual Machine
  2. ACL2
  3. Nqthm
  4. Pc-Nqthm
  5. Infix Acl2
  6. CAETI: Includes Infix Acl2, EZ, ...
  7. Operating Systems
  8. A Verifiable Ada

This page is URL http://www.computationallogic.com/corp/research.html