
IDesignSpec (IDS) is an engineering tool that allows a chip or system designer to create the design specification once and automatically generate all possible views from it, without re-write or any duplication. Designs created using IDS are Correct-By-Construction. IDS makes the design process efficient, and cost effective since designers only need to enter the design information once and use it anywhere, through its development cycle.