|
LEVETATE Design Systems was formed in 1995 to develop innovative EDA
tools for hardware designers facing the challenges of today's complex systems. Our company
mission is concisely captured in our motto of: "Lifting Engineering Value by
Eliminating Tedious And Time-consuming Effort." LEVETATE is a privately-held company
based in Beaverton, Oregon, USA. LEVETATE's development strategy aims to help integrate
formal methods technology into mainstream hardware design practices. As a pragmatic first
step at this, our current product development is focusing on tools for simulation
testbench generation. Our first product, LevBencher V&VTM, generates
self-checking testbenches capable of testing RTL or gate-level design models against VHDL
specifications at the level of bus transactions or CPU instructions. Designer productivity
and design quality both benefit using LevBencher V&V as time-consuming testbench
coding and debug is replaced by a greater focus on specification, an area where many of
the most expensive mistakes are known to reside.
LevBencher V&V is the first in a line of verification and synthesis tools under
development using the patented (#5,953,519) abstraction-compileTM technology of
LEVETATE Design Systems. Based on formal verification concepts developed for higher-order
logic theorem proving, abstraction-compile methods exploit information described by new
hardware specification/abstraction languages (SALs) to support several first-in-class
hardware design tools. SAL models developed for LevBencher applications will find ready
use in future formal verification and behavioral synthesis products.
LEVETATE Design Systems was formed to help lift the hardware design industry towards
specification-oriented methods of greater rigor, automation, and ease-of-use. To achieve
this goal with minimal disruption to the hardware design industry will require a pragmatic
and step-wise integration of formal methods technology into mainstream EDA products.
LEVETATE has outlined a strategy for achieving this that features the development and
marketing of top-quality, new-technology EDA tools at affordable desktop prices. |
