0-In Design Automation
0-In Design Automation is a privately held electronic design automation (EDA) company providing functional verification products that help verify multi-million gate ASICs and SOC designs. 0-In products extend the value of simulation using white-box verification technology. White-box technology uses the design's internal structure to provide more thorough verification by attacking the primary problems in functional verification -- inadequate observability and controllability.