Specify-explore-refine paradigm for system design

Frank Vahid; Sanjiv Narayan M.D.; Jie Gong; Daniel Gajski

doi:10.1117/12.235500

22 March 1996 Specify-explore-refine paradigm for system design

Frank Vahid, Sanjiv Narayan M.D., Jie Gong, Daniel Gajski

Proceedings Volume 2644, Fourth International Conference on Computer-Aided Design and Computer Graphics; (1996) https://doi.org/10.1117/12.235500
Event: Fourth International Conference on Computer-Aided Design and Computer Graphics, 1995, Wuhan, China

Abstract

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.

Citation Download Citation

Frank Vahid, Sanjiv Narayan M.D., Jie Gong, and Daniel Gajski "Specify-explore-refine paradigm for system design", Proc. SPIE 2644, Fourth International Conference on Computer-Aided Design and Computer Graphics, (22 March 1996); https://doi.org/10.1117/12.235500

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available