Modeling and synthesis of analog/mixed-signal circuits
High-level power and noise modeling
Functional verification for HDL designs

系統控制