Aries Design Automation, LLC Trademarks
HIGHCHECK
Computer software for mathematically proving the correctness, i.e., formally verifying, of digital circuits
Owned by: Aries Design Automation, LLC
Serial Number: 85205706
ARIES DESIGN AUTOMATION
Design and development of computer software technologies for use in the fields of formal verification of hardware and software…
Owned by: Aries Design Automation, LLC
Serial Number: 85205708
