yosys.git
9 years agoFixed MXE build
Clifford Wolf [Wed, 15 Oct 2014 00:43:50 +0000 (02:43 +0200)]
Fixed MXE build

9 years agoMerge branch 'win32'
Clifford Wolf [Tue, 14 Oct 2014 23:20:14 +0000 (01:20 +0200)]
Merge branch 'win32'

9 years agoCheck for _YOSYS_ in yosys.h
Clifford Wolf [Tue, 14 Oct 2014 23:18:31 +0000 (01:18 +0200)]
Check for _YOSYS_ in yosys.h

9 years agoUpdated .gitignore file for ilang and verilog frontends
Clifford Wolf [Tue, 14 Oct 2014 23:14:38 +0000 (01:14 +0200)]
Updated .gitignore file for ilang and verilog frontends

9 years agoReplaced readsome() with read() and gcount()
Clifford Wolf [Tue, 14 Oct 2014 23:12:53 +0000 (01:12 +0200)]
Replaced readsome() with read() and gcount()

9 years agoA few indent fixes
Clifford Wolf [Tue, 14 Oct 2014 23:05:08 +0000 (01:05 +0200)]
A few indent fixes

9 years agoChanged from "and" to "&&"
William Speirs [Tue, 14 Oct 2014 21:15:35 +0000 (17:15 -0400)]
Changed from "and" to "&&"

9 years agoChanged to explicit heap allocated memory
William Speirs [Tue, 14 Oct 2014 21:15:08 +0000 (17:15 -0400)]
Changed to explicit heap allocated memory

9 years agoWrapped init in std::set constructor
William Speirs [Tue, 14 Oct 2014 21:10:53 +0000 (17:10 -0400)]
Wrapped init in std::set constructor

9 years agoMade iterators extend std::iterator and added == operator
William Speirs [Tue, 14 Oct 2014 21:10:08 +0000 (17:10 -0400)]
Made iterators extend std::iterator and added == operator

9 years agoDefine empty __attribute__ macro for non-gcc, non-clang compilers
Clifford Wolf [Tue, 14 Oct 2014 22:56:04 +0000 (00:56 +0200)]
Define empty __attribute__ macro for non-gcc, non-clang compilers

9 years agoFixed log so it will compile under Visual Studio
William Speirs [Tue, 14 Oct 2014 21:07:30 +0000 (17:07 -0400)]
Fixed log so it will compile under Visual Studio
- Included an implementation of gettimeofday

9 years agoUpdated lexers & parsers to include prefixes
William Speirs [Tue, 14 Oct 2014 21:06:02 +0000 (17:06 -0400)]
Updated lexers & parsers to include prefixes

9 years agoUpdated ABC, enabled ABC in mxe builds
Clifford Wolf [Tue, 14 Oct 2014 22:41:14 +0000 (00:41 +0200)]
Updated ABC, enabled ABC in mxe builds

9 years agoRemoved CHECK() macro from libparse.cc (was using non-std c features)
Clifford Wolf [Mon, 13 Oct 2014 15:22:06 +0000 (17:22 +0200)]
Removed CHECK() macro from libparse.cc (was using non-std c features)

9 years agoFixed ABC ARCHFLAGS for win32 cross build
Clifford Wolf [Sun, 12 Oct 2014 13:02:40 +0000 (15:02 +0200)]
Fixed ABC ARCHFLAGS for win32 cross build

9 years agoMore win32/abc fixes
Clifford Wolf [Sun, 12 Oct 2014 12:48:19 +0000 (14:48 +0200)]
More win32/abc fixes

9 years agoVarious Makefile changes for cross-compiling ABC for Win32
Clifford Wolf [Sun, 12 Oct 2014 11:48:05 +0000 (13:48 +0200)]
Various Makefile changes for cross-compiling ABC for Win32

9 years agoVarious small fixes for non-win32 builds
Clifford Wolf [Sun, 12 Oct 2014 10:18:38 +0000 (12:18 +0200)]
Various small fixes for non-win32 builds

9 years agoAdded make_temp_{file,dir}() and remove_directory() APIs
Clifford Wolf [Sun, 12 Oct 2014 10:11:57 +0000 (12:11 +0200)]
Added make_temp_{file,dir}() and remove_directory() APIs

9 years agoUsing stringf() instead of asprintf() in "abc" pass
Clifford Wolf [Sun, 12 Oct 2014 09:17:53 +0000 (11:17 +0200)]
Using stringf() instead of asprintf() in "abc" pass

9 years agoAdded run_command() api to replace system() and popen()
Clifford Wolf [Sun, 12 Oct 2014 08:57:15 +0000 (10:57 +0200)]
Added run_command() api to replace system() and popen()

9 years agoRenamed "log.cc" to "logcmd.cc" so there aren't two "log.cc" in the source tree
Clifford Wolf [Sat, 11 Oct 2014 10:13:46 +0000 (12:13 +0200)]
Renamed "log.cc" to "logcmd.cc" so there aren't two "log.cc" in the source tree

9 years agoShrinked the copyright banner by 1 character
Clifford Wolf [Sat, 11 Oct 2014 09:59:35 +0000 (11:59 +0200)]
Shrinked the copyright banner by 1 character

9 years agoAdded "make dist" for mxe builds
Clifford Wolf [Sat, 11 Oct 2014 09:53:36 +0000 (11:53 +0200)]
Added "make dist" for mxe builds

9 years agoFixed Makefile PRETTY=1 for MXE (win32) and EMCC (js) builds
Clifford Wolf [Sat, 11 Oct 2014 09:44:36 +0000 (11:44 +0200)]
Fixed Makefile PRETTY=1 for MXE (win32) and EMCC (js) builds

9 years agoDo not the 'z' modifier in format string (another win32 fix)
Clifford Wolf [Sat, 11 Oct 2014 09:42:08 +0000 (11:42 +0200)]
Do not the 'z' modifier in format string (another win32 fix)

9 years agoFixed win32 troubles with f.readsome()
Clifford Wolf [Sat, 11 Oct 2014 09:36:22 +0000 (11:36 +0200)]
Fixed win32 troubles with f.readsome()

9 years agoStrip win32 executeables
Clifford Wolf [Sat, 11 Oct 2014 09:35:54 +0000 (11:35 +0200)]
Strip win32 executeables

9 years agoAdded proc_self_dirname() for win32
Clifford Wolf [Sat, 11 Oct 2014 09:08:52 +0000 (11:08 +0200)]
Added proc_self_dirname() for win32

9 years agoFixed MXE readline support
Clifford Wolf [Sat, 11 Oct 2014 08:59:11 +0000 (10:59 +0200)]
Fixed MXE readline support

9 years agoFixed ifdefs for plugin unloading
Clifford Wolf [Sat, 11 Oct 2014 08:57:46 +0000 (10:57 +0200)]
Fixed ifdefs for plugin unloading

9 years agoDisabled "cover -d" on win32
Clifford Wolf [Sat, 11 Oct 2014 08:49:43 +0000 (10:49 +0200)]
Disabled "cover -d" on win32

9 years agoNot using std::to_string in ezsat (problems with mingw)
Clifford Wolf [Sat, 11 Oct 2014 08:46:50 +0000 (10:46 +0200)]
Not using std::to_string in ezsat (problems with mingw)

9 years agoDisabled vhdl2verilog command for win32 builds
Clifford Wolf [Sat, 11 Oct 2014 08:46:19 +0000 (10:46 +0200)]
Disabled vhdl2verilog command for win32 builds

9 years agoDisabled ezminisat timeout feature for Win32
Clifford Wolf [Sat, 11 Oct 2014 08:24:46 +0000 (10:24 +0200)]
Disabled ezminisat timeout feature for Win32

9 years agoUsing next_token() to parse commands
Clifford Wolf [Fri, 10 Oct 2014 16:53:03 +0000 (18:53 +0200)]
Using next_token() to parse commands

9 years agoFixed next_token()
Clifford Wolf [Fri, 10 Oct 2014 16:38:40 +0000 (18:38 +0200)]
Fixed next_token()

9 years agoMore Win32 build fixes
Clifford Wolf [Fri, 10 Oct 2014 16:34:19 +0000 (18:34 +0200)]
More Win32 build fixes

9 years agoAdded next_token() function (strtok() replacement)
Clifford Wolf [Fri, 10 Oct 2014 16:33:55 +0000 (18:33 +0200)]
Added next_token() function (strtok() replacement)

9 years agoVarious win32 build fixes in yosys.cc
Clifford Wolf [Fri, 10 Oct 2014 16:19:18 +0000 (18:19 +0200)]
Various win32 build fixes in yosys.cc

9 years agoMoved patmatch() to yosys.cc
Clifford Wolf [Fri, 10 Oct 2014 16:19:00 +0000 (18:19 +0200)]
Moved patmatch() to yosys.cc

9 years agoReplaced fnmatch() with patmatch()
Clifford Wolf [Fri, 10 Oct 2014 16:02:17 +0000 (18:02 +0200)]
Replaced fnmatch() with patmatch()

9 years agoAdded format __attribute__ to stringf()
Clifford Wolf [Fri, 10 Oct 2014 15:22:08 +0000 (17:22 +0200)]
Added format __attribute__ to stringf()

9 years agoRenamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32
Clifford Wolf [Fri, 10 Oct 2014 15:06:02 +0000 (17:06 +0200)]
Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32

9 years agoRenamed SIZE() to GetSize() because of name collision on Win32
Clifford Wolf [Fri, 10 Oct 2014 14:59:44 +0000 (16:59 +0200)]
Renamed SIZE() to GetSize() because of name collision on Win32

9 years agoReplaced "#ifdef WIN32" with "#ifdef _WIN32"
Clifford Wolf [Thu, 9 Oct 2014 15:00:54 +0000 (17:00 +0200)]
Replaced "#ifdef WIN32" with "#ifdef _WIN32"

9 years agoAdded API for generic cell cost calculations
Clifford Wolf [Thu, 9 Oct 2014 11:59:26 +0000 (13:59 +0200)]
Added API for generic cell cost calculations

9 years agoadded .exe and .html output files to .gitignore
Clifford Wolf [Thu, 9 Oct 2014 08:52:45 +0000 (10:52 +0200)]
added .exe and .html output files to .gitignore

9 years agoNo rusage on win32
Clifford Wolf [Thu, 9 Oct 2014 08:51:24 +0000 (10:51 +0200)]
No rusage on win32

9 years agoAdded mxe-based cross build for win32
Clifford Wolf [Thu, 9 Oct 2014 08:50:44 +0000 (10:50 +0200)]
Added mxe-based cross build for win32

9 years agoFixes in "hilomap" help message
Clifford Wolf [Wed, 8 Oct 2014 19:38:37 +0000 (21:38 +0200)]
Fixes in "hilomap" help message

9 years agosort cell types in "stat" output by name
Clifford Wolf [Fri, 3 Oct 2014 17:21:04 +0000 (19:21 +0200)]
sort cell types in "stat" output by name

9 years agosat encoding for exclusive $pmux ctrl inputs in "share" pass
Clifford Wolf [Fri, 3 Oct 2014 17:01:24 +0000 (19:01 +0200)]
sat encoding for exclusive $pmux ctrl inputs in "share" pass

9 years agosatgen import sigbit api
Clifford Wolf [Fri, 3 Oct 2014 16:51:50 +0000 (18:51 +0200)]
satgen import sigbit api

9 years agoadded resource sharing of $macc cells
Clifford Wolf [Fri, 3 Oct 2014 10:58:40 +0000 (12:58 +0200)]
added resource sharing of $macc cells

9 years agoAdded $_BUF_ cell type
Clifford Wolf [Fri, 3 Oct 2014 08:12:28 +0000 (10:12 +0200)]
Added $_BUF_ cell type

9 years agoremove buffers in opt_clean
Clifford Wolf [Fri, 3 Oct 2014 08:04:15 +0000 (10:04 +0200)]
remove buffers in opt_clean

9 years agoresource sharing of $alu cells
Clifford Wolf [Fri, 3 Oct 2014 07:55:50 +0000 (09:55 +0200)]
resource sharing of $alu cells

9 years agoset "keep" on modules with $assert cells in "hierarchy"
Clifford Wolf [Tue, 30 Sep 2014 17:16:40 +0000 (19:16 +0200)]
set "keep" on modules with $assert cells in "hierarchy"

9 years agoAdded support for "keep" on modules
Clifford Wolf [Mon, 29 Sep 2014 10:51:54 +0000 (12:51 +0200)]
Added support for "keep" on modules

9 years agonamespace Yosys
Clifford Wolf [Sat, 27 Sep 2014 14:17:53 +0000 (16:17 +0200)]
namespace Yosys

9 years agoMerge pull request #39 from ahmedirfan1983/master
Clifford Wolf [Mon, 22 Sep 2014 10:37:43 +0000 (12:37 +0200)]
Merge pull request #39 from ahmedirfan1983/master

merged with current mas.ter branch + features added + bug fixes

9 years agoMerge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Ahmed Irfan [Mon, 22 Sep 2014 09:35:04 +0000 (11:35 +0200)]
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
added case for memwr cell that is used in muxes (same cell is used more than one time)
corrected bug for xnor and logic_not
added pmux cell translation

Conflicts:
backends/btor/btor.cc

9 years agoRe-enabled assert for new logic loops in "share" pass
Clifford Wolf [Sun, 21 Sep 2014 17:44:08 +0000 (19:44 +0200)]
Re-enabled assert for new logic loops in "share" pass

9 years agoVarious improvements regarding logic loops in "share" results
Clifford Wolf [Sun, 21 Sep 2014 17:36:56 +0000 (19:36 +0200)]
Various improvements regarding logic loops in "share" results

9 years agoLogic loop bugfix for "share" pass
Clifford Wolf [Sun, 21 Sep 2014 13:13:44 +0000 (15:13 +0200)]
Logic loop bugfix for "share" pass

9 years agoAdded "share -limit"
Clifford Wolf [Sun, 21 Sep 2014 13:13:06 +0000 (15:13 +0200)]
Added "share -limit"

9 years agoStill loop bug in "share": changed assert to warning
Clifford Wolf [Sun, 21 Sep 2014 12:51:07 +0000 (14:51 +0200)]
Still loop bug in "share": changed assert to warning

9 years agoDo not introduce new logic loops in "share"
Clifford Wolf [Sun, 21 Sep 2014 11:52:39 +0000 (13:52 +0200)]
Do not introduce new logic loops in "share"

9 years agoAssert on new logic loops in "share" pass
Clifford Wolf [Sun, 21 Sep 2014 10:57:33 +0000 (12:57 +0200)]
Assert on new logic loops in "share" pass

9 years agoAdded "test_abcloop" command
Clifford Wolf [Fri, 19 Sep 2014 13:51:34 +0000 (15:51 +0200)]
Added "test_abcloop" command

9 years agoInitialize RTLIL::Const from std::vector<bool>
Clifford Wolf [Fri, 19 Sep 2014 13:50:55 +0000 (15:50 +0200)]
Initialize RTLIL::Const from std::vector<bool>

9 years agoSorting of object names in ilang backend
Clifford Wolf [Fri, 19 Sep 2014 13:50:34 +0000 (15:50 +0200)]
Sorting of object names in ilang backend

9 years agoSmall improvements in "abc" command handle_loops() function
Clifford Wolf [Fri, 19 Sep 2014 12:05:41 +0000 (14:05 +0200)]
Small improvements in "abc" command handle_loops() function

9 years agoUsing "NOT" instead of "INV" as cell name in default abc genlib file
Clifford Wolf [Fri, 19 Sep 2014 11:15:31 +0000 (13:15 +0200)]
Using "NOT" instead of "INV" as cell name in default abc genlib file

9 years agoAlphabetically sort port names in "show" output
Clifford Wolf [Fri, 19 Sep 2014 09:13:10 +0000 (11:13 +0200)]
Alphabetically sort port names in "show" output

9 years agoDo not run "scorr" in "abc -fast"
Clifford Wolf [Thu, 18 Sep 2014 17:00:21 +0000 (19:00 +0200)]
Do not run "scorr" in "abc -fast"

9 years agoImprovements in "synth" script
Clifford Wolf [Thu, 18 Sep 2014 10:57:55 +0000 (12:57 +0200)]
Improvements in "synth" script

9 years agoAdded "abc -fast"
Clifford Wolf [Thu, 18 Sep 2014 10:57:37 +0000 (12:57 +0200)]
Added "abc -fast"

9 years agofixed memory next issue, when same memory is written in different case statement
ahmedirfan1983 [Thu, 18 Sep 2014 09:15:46 +0000 (11:15 +0200)]
fixed memory next issue, when same memory is written in different case statement
fixed reduce_xnor, logic_not bug translation bug

9 years agoAdded commit count to devel version number
Clifford Wolf [Wed, 17 Sep 2014 05:19:34 +0000 (07:19 +0200)]
Added commit count to devel version number

9 years agoFixed $_NOR vs. $_NOR_ typo in abc.cc
Clifford Wolf [Tue, 16 Sep 2014 10:45:05 +0000 (12:45 +0200)]
Fixed $_NOR vs. $_NOR_ typo in abc.cc

9 years agoFixed $memwr/$memrd order in memory_dff
Clifford Wolf [Tue, 16 Sep 2014 10:40:58 +0000 (12:40 +0200)]
Fixed $memwr/$memrd order in memory_dff

9 years agoAdded new CodingReadme file (replaces CodingStyle and CHECKLISTS)
Clifford Wolf [Tue, 16 Sep 2014 09:26:44 +0000 (11:26 +0200)]
Added new CodingReadme file (replaces CodingStyle and CHECKLISTS)

9 years agoFixed $macc simlib model for zero-config
Clifford Wolf [Tue, 16 Sep 2014 06:19:35 +0000 (08:19 +0200)]
Fixed $macc simlib model for zero-config

9 years agoMore aggressive $macc merging in alumacc
Clifford Wolf [Mon, 15 Sep 2014 10:42:11 +0000 (12:42 +0200)]
More aggressive $macc merging in alumacc

9 years agoAdded the obvious optimizations to alumacc $macc generator
Clifford Wolf [Mon, 15 Sep 2014 10:22:03 +0000 (12:22 +0200)]
Added the obvious optimizations to alumacc $macc generator

9 years agoImproved maccmap tree bit packing
Clifford Wolf [Mon, 15 Sep 2014 10:00:19 +0000 (12:00 +0200)]
Improved maccmap tree bit packing

9 years agoFixed wreduce $shiftx handling
Clifford Wolf [Mon, 15 Sep 2014 09:29:09 +0000 (11:29 +0200)]
Fixed wreduce $shiftx handling

9 years agoFixed monitor notifications for removed cell
Clifford Wolf [Sun, 14 Sep 2014 15:04:39 +0000 (17:04 +0200)]
Fixed monitor notifications for removed cell

9 years agoAdded "synth" command
Clifford Wolf [Sun, 14 Sep 2014 14:09:06 +0000 (16:09 +0200)]
Added "synth" command

9 years agoFixed techmap_wrap for techmap_celltype
Clifford Wolf [Sun, 14 Sep 2014 13:34:36 +0000 (15:34 +0200)]
Fixed techmap_wrap for techmap_celltype

9 years agoUsing alumacc in techmap.v
Clifford Wolf [Sun, 14 Sep 2014 12:50:15 +0000 (14:50 +0200)]
Using alumacc in techmap.v

9 years agoVarious fixes/cleanups in alumacc and maccmap
Clifford Wolf [Sun, 14 Sep 2014 12:49:53 +0000 (14:49 +0200)]
Various fixes/cleanups in alumacc and maccmap

9 years agoAdded techmap_wrap attribute
Clifford Wolf [Sun, 14 Sep 2014 12:49:26 +0000 (14:49 +0200)]
Added techmap_wrap attribute

9 years agoalumacc fix for $pos cells
Clifford Wolf [Sun, 14 Sep 2014 12:00:14 +0000 (14:00 +0200)]
alumacc fix for $pos cells

9 years agoExtract $alu cells in alumacc
Clifford Wolf [Sun, 14 Sep 2014 11:23:44 +0000 (13:23 +0200)]
Extract $alu cells in alumacc

9 years agoMerge $macc cells in alumacc pass
Clifford Wolf [Sun, 14 Sep 2014 09:21:37 +0000 (11:21 +0200)]
Merge $macc cells in alumacc pass

9 years agoBasic $macc extract in alumacc
Clifford Wolf [Sun, 14 Sep 2014 08:45:28 +0000 (10:45 +0200)]
Basic $macc extract in alumacc