DocumentCode
2758012
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
fYear
1999
fDate
9-12 March 1999
Firstpage
684
Lastpage
688
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe Conference and Exhibition 1999. Proceedings
Conference_Location
Munich, Germany
Print_ISBN
0-7695-0078-1
Type
conf
DOI
10.1109/DATE.1999.761203
Filename
761203
Link To Document