Title :
Specification and validation of distributed IP-based designs with JavaCAD
Author :
Dalpasso, Marcello ; Bogliolo, Alessandro ; Benini, Luca
Author_Institution :
Dipt. di Elettronica e Inf., Padova Univ., Italy
Abstract :
This paper presents JavaCAD, a new Java-based CAD framework for the design, validation and simulation of systems using third-party components with reciprocal intellectual property (IP) protection. The designer can use remote components with a dedicated and secure Internet protocol, that guarantees IP protection and supports a smooth transition between component evaluation and purchase.
Keywords :
Internet; Java; VLSI; circuit CAD; formal specification; formal verification; industrial property; integrated circuit design; IP protection; Internet protocol; Java-based CAD framework; JavaCAD; component evaluation; distributed IP-based designs; reciprocal intellectual property protection; specification; third-party components; validation; Computer networks; Design automation; Design methodology; Digital systems; Explosives; Intellectual property; Internet; Java; Protection; Very large scale integration;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition 1999. Proceedings
Conference_Location :
Munich, Germany
Print_ISBN :
0-7695-0078-1
DOI :
10.1109/DATE.1999.761203
