The CSYN verilog compiler and other tools

  • David Greaves
Part of the Lecture Notes in Computer Science book series (LNCS, volume 975)


The CSYN Verilog compiler was written by Dr Greaves in early 1994 as a vehicle for research in logic synthesis algorithms and to support experimental extensions to the Verilog language to test high-level specification techniques. A basic version of CSYN is in use at a number of local companies for industrial PPGA design. This paper describes CSYN and its use with Xilinx devices for teaching. To extend this work, we are defining formal semantics for Verilog, both for simulation and compilation into hardware. This paper reports the performance of CSIM, an X-windows Verilog simulator based on the formal simulation semantics and expresses the desire for a general purpose semantics for Verilog, which can help prove the equivalance of different implementations of a module.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Newson, A., Milway D.: Cambridge HDL and FDL Reference Manual Scholar
  2. 2.
    Greaves, D.J.,: The CSYN Verilog Compiler and other tools — Professional Reference Manual. Scholar
  3. 3.
    Temple, S.,: The Xilinx Teaching Board Scholar
  4. 4.
    Muroga, S., Kambayashi, Y., Lai, H.C., Culliney, J.N.,: The Transduction Method — Design of Logic Networks Based on Permissible Functions. IEEE Transactions on Computers, Vol 38 No. 10 October 1989.Google Scholar
  5. 5.
    Newson, A., Milway D.: The ORL XSIM Simulator Manual On Scholar
  6. 6.
    Gordon, M.J.C.,: The Semantic Challenge of Verilog HDL. Tenth Annual IEEE Symposium on Logic in Computer Science (LICS'95), June 26–29, 1995, San Diego, California. On Scholar
  7. 7.
    IEEE 1364. Section 5-Scheduling Semantics. Draft Standard Verilog HDL. Draft standards document. On Scholar
  8. 8.
    Greaves, D.J., Gordon, M.J.C,: Checking Equivalence Between Synthesised Logic and Non-Synthesisable Behavioural Prototypes. A three year EPSEC research project. On Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • David Greaves
    • 1
  1. 1.Computer LaboratoryUniversity of CambridgeCambridgeUK

Personalised recommendations