>3. How could I bind the verilog description with some certain library?
> Do IC producers or Cadence provide such "bind" programs (i.e. technology
> mapping)?
This is done with a logic synthesis package, such as Synopsis'
or Exemplar's products.
>5. Some colleagues here are using Xilinx in designing ASIC chips. They would
> like to know whether some tools exists for mapping the verilog description
> into the fromat for use with Xilinx tools.
Exemplar handles Xilinx, but (sadly) they only accept VHDL input, not
Verilog.
(Write larry@exemplar.com (Larry Lapides) for more info.)
2. From: Jeff Tobin <jefft@hpcvcal.cv.hp.com>
> 2. Are there some converters, which can transform the verilog description
> into one format which can be used as input data for use with Cadence
> Place and Route tool, e.g. EDIF netlist ?
Synopsys can output one of many formats, including netlist EDIF. I'm not sure
if the Cadence routers can handle EDIF, though.
>
> 3. How could I bind the verilog description with some certain library?
> Do IC producers or Cadence provide such "bind" programs (i.e. technology
> mapping)?
I would recommend using synopsys here. Design in Verilog, using the Synopsys
subset of Verilog, maintaining technology independence, then use synopsys
to synthesize your Verilog HDL into technology-specific gates.
>
>
> 4. Since no schematic exists, how can I simulate the design after the
> final layout (i.e. post-layout simulation)? Are there some extracter,
> which can extract the design to e.g. SILOS netlist-format, so that I can
> perform the simulation and check the simulation results using waveforms ?
This is no different than pre-layout simulation. You'll need a Verilog
simulator. This simulator should have some sort of delay calculator built
in, or added onto it (Verilog-XL comes without a delay calculator, but some
IC vendors may provide a delay calcualtor for their library). Just add the
back-annotated cap values into your design, and you're ready to re-verify
your circuit.
>
>
> 5. Some colleagues here are using Xilinx in designing ASIC chips. They would
> like to know whether some tools exists for mapping the verilog description > into the fromat for use with Xilinx tools.
I believe that Synopsys recently added support for FPGAs (not sure if Xilinx
was one of the supported vendors), so you could take your technology independentHDL and run it though Synopsys to synthesize a set of FPGAs that perform the
functions of your ASIC. They will not necessarily meet your performance needs,