softwares:start [RSL]

You are here: start » softwares

List of my softwares.

Beaver – an SMT (Satisfiability Modulo Theories) solver
Modified ABC
Aiger library with Ocaml wrapper
Modified Ocamlgraph
Modified Ocaml hashSet
Modified Ocaml extLib

Veriflat – a flattener for structural Verilog designs having parameters and generate statements.

softwares/start.txt · Last modified: 2009/07/16 14:17 (external edit)

Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported