Dutt et al., 1988 - Google Patents

Exel: A language for interactive behavioral synthesis

Dutt et al., 1988

View PDF
Document ID
3334260687752086297
Author
Dutt N
Gajski D
Publication year

External Links

Snippet

This paper describes a new input language for behavioral synthesis called EXEL. EXEL is a powerful language that permits the user to specify partially designed structures in the language. It employs a mixed graphic/textual user interface to enhance user interactivity …
Continue reading at escholarship.org (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5045—Circuit design
    • G06F17/5054—Circuit design for user-programmable logic devices, e.g. field programmable gate arrays [FPGA]
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/5022—Logic simulation, e.g. for logic circuit operation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5045—Circuit design
    • G06F17/505—Logic synthesis, e.g. technology mapping, optimisation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/86—Hardware-Software co-design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/78—Power analysis and optimization
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F1/00—Details of data-processing equipment not covered by groups G06F3/00 - G06F13/00, e.g. cooling, packaging or power supply specially adapted for computer application
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled

Similar Documents

Publication Publication Date Title
Thomas et al. Industrial uses of the system architect’s workbench
Chou et al. The chinook hardware/software co-synthesis system
Jantsch et al. Models of computation and languages for embedded system design
US9904523B2 (en) Graphical development and deployment of parallel floating-point math functionality on a system with heterogeneous hardware components
US5526277A (en) ECAD system for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from high-level semantic descriptions thereof
US20020100029A1 (en) System, method and article of manufacture for compiling and invoking C functions in hardware
Vahid et al. SpecCharts: A language for system level synthesis
Vahid et al. Functional partitioning improvements over structural partitioning for packaging constraints and synthesis: tool performance
Lis et al. VHDL synthesis using structured modeling
Dutt et al. Exel: A language for interactive behavioral synthesis
Kucukcakar et al. Matisse: an architectural design tool for commodity ICs
Bergamaschi et al. A system for production use of high-level synthesis
Dutt et al. Designer controlled behavioral synthesis
O'Nils Specification, synthesis and validation of hardware/software interfaces
Villar et al. Synthesis applications of VHDL
Wirthlin et al. Synthesizing RTL hardware from Java byte codes
Gopalakrishnan et al. Specification, simulation, and synthesis of self-timed circuits
Grass et al. High level synthesis based on formal methods
Lis Behavioral synthesis from VHDL using structured modeling
Jantsch et al. Models of computation in the design process
Barringer et al. Abstract modelling of asynchronous micropipeline systems using Rainbow
Dutt A language for designer controlled behavioral synthesis
Karailiev et al. Architecture for Electromechanical Model with Control Devices
Breidegard et al. BBDS-A design tool for architectural evaluation and rapid prototyping of performance critical digital systems.
Lis et al. VSS: a VHDL synthesis system