Login / Signup

Fast Passivity Verification and Enforcement via Reciprocal Systems for Interconnects With Large Order Macromodels.

Dharmendra SaraswatRamachandra AcharMichel S. Nakhla
Published in: IEEE Trans. Very Large Scale Integr. Syst. (2007)
Keyphrases
  • computer vision
  • website
  • database
  • distributed systems
  • building blocks
  • operating system
  • complex systems
  • formal verification
  • asynchronous circuits