MIMASIC

1. Method, system, and computer program product for generating and verifying isolation logic modules in design of integrated circuits. https://patents.google.com/patent/US7712061... 2. Method of optimization of clock gating in integrated circuit designs https://patents.google.com/patent/US7546559

Primary location: Richardson United States