DIFFEQ

• Paper: "The design and verification of a high-performance low-control-overhead asynchronous differential equation solver," IEEE Transactions on VLSI, vol. 6, no. 4, pp. 643-655, Dec. 1998.
  [in PDF] [in PostScript]
• Presentation slides [in PDF] [in PostScript]
• Control documentation [in PDF] [in PostScript]
• Die photo [reduced size] [full size]
• ALU1 controller
  • Specification
  • Specification with state vars backannotated
  • Output equations
• MUL1 controller
  • Specification
  • Specification with state vars backannotated
  • Output equations
• ALU2 controller
  • Specification
  • Specification with state vars backannotated
  • Output equations
• MUL2 controller
  • Specification
  • Specification with state vars backannotated
  • Output equations