Mathematical "Lower Bounds" and the Logic Circuit Designer.
Arnold S. FarberEugene S. SchligPublished in: IEEE Trans. Computers (1970)
Keyphrases
- lower bound
- digital circuits
- upper bound
- delay insensitive
- logic synthesis
- logic circuits
- computer algebra
- high speed
- branch and bound
- lower and upper bounds
- upper and lower bounds
- branch and bound algorithm
- asynchronous circuits
- circuit design
- modal logic
- chip design
- micron cmos
- logic programming
- classical logic
- shift register
- np hard
- worst case
- lower bounding
- analog circuits
- design process
- linear programming relaxation
- objective function
- low power
- vc dimension
- physical design
- user interface
- online algorithms
- truth table
- logical framework