50 research outputs found

    FPGA Logic Synthesis Using Quantified Boolean Satisfiability

    No full text

    Performance planning

    No full text
    A shift is proposed in the design of VLSI circuits. In conventional design, higher levels of synthesis produce a netlist, from which layout synthesis builds a mask specification for manufacturing. Timing analysis is built into a feedback loop to detect timing violations which are then used to update specifications to synthesis. Such iteration is undesirable, and for very high performance designs, infeasible. The problem is likely to become much worse with future generations of technology. To achieve a non-iterative design flow, we propose that early synthesis stages should use "wireplanning" to distribute delays over the functional elements and interconnect, and layout synthesis should use its degrees of freedom to realize those delays. In this paper we attempt to quantify this problem for future technologies and propose some solutions for a "constant delay" methodology

    ESPRESSO-SIGNATURE: a new exact minimizer for logic functions

    Full text link

    Optimal State Assignment for Finite State Machines

    No full text
    corecore