diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-03-03 21:19:55 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-03-03 21:19:55 +0100 |
| commit | bc8d94b4aeb43fd7cc6b77725bb379650a0575a3 (patch) | |
| tree | ec34178961e33e8b4729eec62de0e9b5141ab212 /libs/subcircuit/README | |
| parent | 3ebc365c096ee062516bdbfd903fea14e4aa6185 (diff) | |
| download | yosys-bc8d94b4aeb43fd7cc6b77725bb379650a0575a3.tar.gz yosys-bc8d94b4aeb43fd7cc6b77725bb379650a0575a3.tar.bz2 yosys-bc8d94b4aeb43fd7cc6b77725bb379650a0575a3.zip | |
Added "shared nodes" feature to the subcircuit library
Diffstat (limited to 'libs/subcircuit/README')
| -rw-r--r-- | libs/subcircuit/README | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libs/subcircuit/README b/libs/subcircuit/README index f304d2a53..757a9f540 100644 --- a/libs/subcircuit/README +++ b/libs/subcircuit/README @@ -266,7 +266,9 @@ After this code has been executed, the results vector contains all non-overlapping matches of the three macrocells. The method clearOverlapHistory() can be used to reset the internal state used for this feature. The default value for the third argument to solve() -is true (allow overlapping). +is true (allow overlapping). The optional boolean fourth argument to the +Graph::createNode() method can be used to mark a node as shareable even +in non-overlapping solver mode. The solve() method also has a fourth optional integer argument. If it is set to a positive integer, this integer specifies the maximum number of solutions to |