Specify-explore-refine paradigm for system design
Frank Vahid, Sanjiv M. Narayan, Jie Gong, Daniel D. Gajski · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 1996
Design effort is focusing on increasingly higher levels of abstraction, as methodologies and tools for chip-level design matrix. We present a methodology and tool for system-level specification, design and refinement, that yield a set of system components, where each is described with a functional specification. The specification for each component can then be synthesized into hardware or compiled to software. We highlight advantages of the proposed methodology compared to current practice.