Synthesis and RASSP COMET

• Uses a library of reusable hardware, software, or unbound components for synthesis

• Provides performance estimation capability

• Uses a declarative language, VSPEC

  entity mux is
  
  port (d0, d1, cntrl : in bit;
  output: out bit);
  ensures
  output = ((d0 and cntrl) or
  (d1 and not cntrl));
  constrained by
  power < 4 and
  size < 20
  end mux;

Previous slide

Next slide

Back to first slide

View graphic version

The information for COMET is from [Vemuri94].