Claims Analysis
Total Claims: 13
Claim 1
Independent Claim
96 words
A method of logic device specification from a programmable device specification for a programmable device, comprising the steps of: (a) producing a hierarchical behavioral model from the programmable device specification; (b) producing a generic device design from the programmable device specification; (c) simulating operation of the generic device design responsive to the hierarchical behavioral model; (d) producing a specific device design from the programmable device specification; (e) simulating operation of the specific device design; and (f) comparing the simulations of steps (c) and (e) and indicating the specific device design is correct when the simulations match.
Claim 2
Independent Claim
96 words
A method of logic device specification from a programmable device specification for a programmable device, comprising the steps of: (a) producing a hierarchical behavioral model from the programmable device specification; (b) producing a generic device design from the programmable device specification; (c) simulating operation of the generic device design responsive to the hierarchical behavioral model; (d) producing a specific device design from the programmable device specification; (e) simulating operation of the specific device design; and (f) comparing the simulations of steps (c) and (e) and indicating the specific device design is correct when the simulations match.
Claim 3
Dependent Claim
30 words
A method as recited in claim 1, further comprising producing test vectors for the generic device design and using the test vectors in the simulations of steps (c) and (d).
Claim 4
Dependent Claim
14 words
A method as recited in claim 1, wherein step (d) includes performing logic reduction.
Claim 5
Dependent Claim
32 words
A method as recited in claim 1, wherein step (b) comprises creating a complete set of hierarchical behavioral models for the programmable device and step (c) comprises simulating the hierarchical behavioral models.
Claim 6
Dependent Claim
16 words
A method as recited in claim 4, wherein step (b) creates behavioral models of input/output blocks.
Claim 7
Dependent Claim
18 words
A method as recited in claim 1, wherein the programmable device specification is a programmable device configuration file.
Claim 8
Independent Claim
54 words
A method of logic device specification from a programmable device specification for a programmable device, comprising the steps of: (a) simulating the programmable device using a complete hierarchical behavioral model of the device; (b) simulating the programmable device as a target technology device; and (c) verifying the target technology device when the simulations match.
Claim 9
Independent Claim
54 words
A method of logic device specification from a programmable device specification for a programmable device, comprising the steps of: (a) simulating the programmable device using a complete hierarchical behavioral model of the device; (b) simulating the programmable device as a target technology device; and (c) verifying the target technology device when the simulations match.
Claim 10
Independent Claim
223 words
A method of specifying an application specific integrated circuit logic device in a target technology from a programmable device configuration file for a programmable device, comprising the steps of: (a) translating the programmable device configuration file into a behavioral model having delays and timings of the programmable device, and device lists; (b) creating netlist processing, logic synthesis, target and compiler commands from the device lists; (c) performing logic synthesis from the behavioral model responsive to the logic synthesis commands; (d) processing the synthesized logic to produce a hierarchical behavioral model and a generic network list responsive to the netlist processing commands; (e) reducing the generic network list; (f) generating a test vector from the reduced generic network list; (h) compiling the behavioral model; (i) simulating operation of the behavioral model using the compiled behavioral model, the hierarchical behavioral model and the test vector; (j) producing a generic/target technology network list responsive to the target commands; (k) mapping the generic/target technology network list to a target technology network list and optimizing the target technology network list; (l) simulating operation of the target technology network list; (m) comparing the behavioral model simulation with the target technology network list simulation; and (n) manufacturing the integrated circuit logic device from the target technology network list when the behavioral model simulation matches the target technology network list simulation.
Claim 11
Independent Claim
223 words
A method of specifying an application specific integrated circuit logic device in a target technology from a programmable device configuration file for a programmable device, comprising the steps of: (a) translating the programmable device configuration file into a behavioral model having delays and timings of the programmable device, and device lists; (b) creating netlist processing, logic synthesis, target and compiler commands from the device lists; (c) performing logic synthesis from the behavioral model responsive to the logic synthesis commands; (d) processing the synthesized logic to produce a hierarchical behavioral model and a generic network list responsive to the netlist processing commands; (e) reducing the generic network list; (f) generating a test vector from the reduced generic network list; (h) compiling the behavioral model; (i) simulating operation of the behavioral model using the compiled behavioral model, the hierarchical behavioral model and the test vector; (j) producing a generic/target technology network list responsive to the target commands; (k) mapping the generic/target technology network list to a target technology network list and optimizing the target technology network list; (l) simulating operation of the target technology network list; (m) comparing the behavioral model simulation with the target technology network list simulation; and (n) manufacturing the integrated circuit logic device from the target technology network list when the behavioral model simulation matches the target technology network list simulation.
Claim 12
Independent Claim
74 words
An apparatus for converting a programmable logic device design into an application specific logic device design, comprising: means for producing and performing a simulation of a hierarchical behavioral device design from the programmable logic device design; means for producing and performing a simulation of the application specific logic device design from the programmable logic device design; and means for comparing the simulations and verifying the application specific logic device design when the simulations match.
Claim 13
Independent Claim
74 words
An apparatus for converting a programmable logic device design into an application specific logic device design, comprising: means for producing and performing a simulation of a hierarchical behavioral device design from the programmable logic device design; means for producing and performing a simulation of the application specific logic device design from the programmable logic device design; and means for comparing the simulations and verifying the application specific logic device design when the simulations match.