OpenSTA is a gate level static timing verifier. As a stand-alone
executable it can be used to verify the timing of a design using
standard file formats:
- Verilog netlist
- Liberty library
- SDC timing constraints
- SDF delay annotation
- SPEF parasitics
From Alessandro De Laurenzis; thanks!
ok sthen@
Netgen is a tool for comparing netlists, a process known as LVS (Layout
vs. Schematic). This is an important step in the VLSI IC design flow,
ensuring that the geometry that has been laid out matches the expected
circuit.
Netgen is considered complete and competitive with commercial-grade
tools. Code was added to handle device properties and to resolve
parallel combinations of devices whether individually instantiated
or implied through the use of the "M" property. Serial and parallel
networks of passive devices are analyzed and compared between networks.
From Alessandro De Laurenzis; thanks!
ok sthen@
Magic is an interactive system for creating and modifying VLSI
circuit layouts. It is used to design basic cells and to combine
them hierarchically into large structures.
Magic understands quite a bit about the nature of circuits. It has
built-in knowledge of layout rules; during editing, it continuously
checks for rule violations. Magic also knows about connectivity and
transistors, and contains a built-in hierarchical circuit extractor.
It has a plow operation that permits to stretch or compact cells.
Lastly, Magic has routing tools to make the circuit interconnections.
Magic is based on the Mead-Conway style of design: it uses simplified
design rules and circuit structures that make it easier layout drawing
and permit Magic to provide powerful assistance, at the cost of
slightly less dense circuits.
From Alessandro De Laurenzis; thanks!
ok sthen@
Xschem is a schematic capture program, it allows creation of
hierarchical representation of circuits with a top down approach. By
focusing on interfaces, hierarchy and instance properties a complex
system can be described in terms of simpler building blocks.
A VHDL or Verilog or Spice netlist can be generated from the drawn
schematic, allowing the simulation of the circuit. Key feature of the
program is its drawing engine written in C and using directly the Xlib
drawing primitives; this gives very good speed performance, even on
very big circuits. The user interface is built with the Tcl-Tk
toolkit, tcl is also the extension language used.
Netlist can be exported in tEDAx format which can then be used by
pcb-rnd to design a printed circuit board.
From Hannu Vuolasaho <vuokkosetae [at] gmail.com> who takes mainainer.
Feedback from me, OK rsadowski
some existing COMPILER lines with arch restrictions etc. In the usual
case this is now using "COMPILER = base-clang ports-gcc base-gcc" on
ports with c++ libraries in WANTLIB.
This is basically intended to be a noop on architectures using clang
as the system compiler, but help with other architectures where we
currently have many ports knocked out due to building with an unsuitable
compiler -
- some ports require c++11/newer so the GCC version in base that is used
on these archirtectures is too old.
- some ports have conflicts where an executable is built with one compiler
(e.g. gcc from base) but a library dependency is built with a different
one (e.g. gcc from ports), resulted in mixing incompatible libraries in the
same address space.
devel/gmp is intentionally skipped as it's on the path to building gcc -
the c++ library there is unused in ports (and not built by default upstream)
so intending to disable building gmpcxx in a future commit.
QElectroTech is an application to create primarily, electrical,
electronics, automation and control circuits. However, QElectroTech
can be exploited to create mechanical objects to illustrate processes,
instrumentation drawings among various creative possibilities.
QElectroTech is a good professional quality drafting application for
various drawings that form a project.
ok kirby@
Original submission by Alessandro De Laurenzis, who takes MAINTAINER --
thanks!
tweaks and oks from sthen@ and bentley@
graywolf is a program for placement of VLSI digital circuits, mainly
intended as part of qflow tool-chain
(http://opencircuitdesign.com/qflow/).
It is a fork of the last open-source version of TimberWolf (which is now
commercial software) and has been modified to streamline the build
process and make it behave more as a standard command-line tool.
It is based on the general combinatorial optimization technique known as
simulated annealing and is suitable for standard cell, macro/custom
cell, and gate-array professional-grade placement.
design.
Original submission from Alessandro De Laurenzis, who takes MAINTAINER --
thanks!
ok bentley@
Qrouter is a tool to generate metal layers and vias to physically
connect together a netlist in a VLSI fabrication technology. It
is a maze router, otherwise known as an "over-the-cell" router or
"sea-of-gates" router. That is, unlike a channel router, it begins with
a description of placed standard cells, usually packed together at
minimum spacing, and places metal routes over the standard cells.
Qrouter uses the open standard LEF and DEF formats as file input and
output. It takes the cell definitions from a LEF file, and analyzes
the geometry for each cell to determine contact points and route
obstructions. It then reads the cell placement, pin placement, and
netlist from a DEF file, performs the detailed route, and writes an
annotated DEF file as output.
Yosys Open SYnthesis Suite
Yosys is a framework for Verilog RTL synthesis. It currently has extensive
Verilog-2005 support and provides a basic set of synthesis algorithms for
various application domains. Selected features and typical applications:
- Process almost any synthesizable Verilog-2005 design
- Converting Verilog to BLIF / EDIF/ BTOR / SMT-LIB / simple RTL Verilog / etc.
- Built-in formal methods for checking properties and equivalence
- Mapping to ASIC standard cell libraries (in Liberty File Format)
- Mapping to Xilinx 7-Series and Lattice iCE40 FPGAs
- Foundation and/or front-end for custom flows
Yosys can be adapted to perform any synthesis job by combining the existing
passes (algorithms) using synthesis scripts and adding additional passes as
needed by extending the Yosys C++ code base.
Original submission from Alessandro De Laurenzis, who takes MAINTAINER --
thanks!
Additional work from sthen@ and myself, ok sthen@
ABC is a growing software system for synthesis and verification of binary
sequential logic circuits appearing in synchronous hardware designs. ABC
combines scalable logic optimization based on And-Inverter Graphs (AIGs),
optimal-delay DAG-based technology mapping for look-up tables and standard
cells, and innovative algorithms for sequential synthesis and verification.
