1. 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.