⊟
301 KB
/srv/reproducible-results/rbuild-debian/r-b-build.zR9MYIzi/b1/yosys_0.52-1_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.zR9MYIzi/b2/yosys_0.52-1_i386.changes
⊟
724 B
Files
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 ·86a12c5265ef432030e39fabd96f0f3d·28731224·debug·optional·yosys-abc-dbgsym_0.52-1_i386.deb1 ·86a12c5265ef432030e39fabd96f0f3d·28731224·debug·optional·yosys-abc-dbgsym_0.52-1_i386.deb
2 ·0325c6c46e76d6ec3a6e6d0cdc0baa2c·5020116·electronics·optional·yosys-abc_0.52-1_i386.deb2 ·0325c6c46e76d6ec3a6e6d0cdc0baa2c·5020116·electronics·optional·yosys-abc_0.52-1_i386.deb
3 ·94c2ab20f62ca0ce1870b5de85dbdbe3·91802040·debug·optional·yosys-dbgsym_0.52-1_i386.deb3 ·94c2ab20f62ca0ce1870b5de85dbdbe3·91802040·debug·optional·yosys-dbgsym_0.52-1_i386.deb
4 ·e953f16e199c314ec3df186763a066f0·136136·electronics·optional·yosys-dev_0.52-1_i386.deb 
5 ·ad8a3dfaacec8adc2e92db90289bf470·2916440·doc·optional·yosys-doc_0.52-1_all.deb4 ·998620d67d3097e8582080ce9d66982f·136260·electronics·optional·yosys-dev_0.52-1_i386.deb
 5 ·71496bd0c7c9f94b968328c1d60220dc·2917060·doc·optional·yosys-doc_0.52-1_all.deb
6 ·dee5e80930b9a21ea836bd71dbecdabd·6424884·electronics·optional·yosys_0.52-1_i386.deb6 ·dee5e80930b9a21ea836bd71dbecdabd·6424884·electronics·optional·yosys_0.52-1_i386.deb
⊟
4.33 KB
yosys-dev_0.52-1_i386.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2025-04-11·08:41:09.000000·debian-binary1 -rw-r--r--···0········0········0········4·2025-04-11·08:41:09.000000·debian-binary
2 -rw-r--r--···0········0········0·····2308·2025-04-11·08:41:09.000000·control.tar.xz2 -rw-r--r--···0········0········0·····2308·2025-04-11·08:41:09.000000·control.tar.xz
3 -rw-r--r--···0········0········0···133636·2025-04-11·08:41:09.000000·data.tar.xz3 -rw-r--r--···0········0········0···133760·2025-04-11·08:41:09.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
3.83 KB
data.tar.xz
⊟
3.81 KB
data.tar
⊟
1.3 KB
file list
    
Offset 1, 11 lines modifiedOffset 1, 11 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/bin/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/bin/
4 -rwxr-xr-x···0·root·········(0)·root·········(0)·····3375·2025-04-11·08:41:09.000000·./usr/bin/yosys-config4 -rwxr-xr-x···0·root·········(0)·root·········(0)·····3873·2025-04-11·08:41:09.000000·./usr/bin/yosys-config
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-dev/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-dev/
8 -rw-r--r--···0·root·········(0)·root·········(0)·····2826·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-dev/changelog.Debian.gz8 -rw-r--r--···0·root·········(0)·root·········(0)·····2826·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-dev/changelog.Debian.gz
9 -rw-r--r--···0·root·········(0)·root·········(0)····18593·2025-04-09·05:38:42.000000·./usr/share/doc/yosys-dev/changelog.gz9 -rw-r--r--···0·root·········(0)·root·········(0)····18593·2025-04-09·05:38:42.000000·./usr/share/doc/yosys-dev/changelog.gz
10 -rw-r--r--···0·root·········(0)·root·········(0)····23806·2025-04-11·08:32:04.000000·./usr/share/doc/yosys-dev/copyright10 -rw-r--r--···0·root·········(0)·root·········(0)····23806·2025-04-11·08:32:04.000000·./usr/share/doc/yosys-dev/copyright
11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/man/11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/man/
⊟
2.49 KB
./usr/bin/yosys-config
    
Offset 4, 15 lines modifiedOffset 4, 15 lines modified
4 »       {4 »       {
5 »       »       echo·""5 »       »       echo·""
6 »       »       echo·"Usage:·$0·[--exec]·[--prefix·pf]·args.."6 »       »       echo·"Usage:·$0·[--exec]·[--prefix·pf]·args.."
7 »       »       echo·"·······$0·--build·modname.so·cppsources.."7 »       »       echo·"·······$0·--build·modname.so·cppsources.."
8 »       »       echo·""8 »       »       echo·""
9 »       »       echo·"Replacement·args:"9 »       »       echo·"Replacement·args:"
10 »       »       echo·"····--cxx·········g++"10 »       »       echo·"····--cxx·········g++"
11 »       »       echo·"····--cxxflags····$(·echo·'-g·-O2·-flto=auto·-ffat-lto-objects·-fstack-protector-strong·-Wformat·-Werror=format-security·-Wall·-Wextra·-ggdb·-I/usr/share/yosys/include·-MD·-MP·-D_YOSYS_·-fPIC·-I/usr/include·-DYOSYS_VER='·|·fmt·-w60·|·sed·':a;N;$!ba;s/\n/·\\\n······················/g'·)"11 »       »       echo·"····--cxxflags····$(·echo·'-g·-O2·-flto=auto·-ffat-lto-objects·-fstack-protector-strong·-Wformat·-Werror=format-security·-Wall·-Wextra·-ggdb·-I/usr/share/yosys/include·-MD·-MP·-D_YOSYS_·-fPIC·-I/usr/include·-DYOSYS_VER=@CXXFLAGS@.52·-DYOSYS_MAJOR=0·-DYOSYS_MINOR=52·-DYOSYS_COMMIT=0.52·-std=c++17·-O3·-DYOSYS_ENABLE_READLINE·-DYOSYS_ENABLE_PLUGINS·-DYOSYS_ENABLE_GLOB·-DYOSYS_ENABLE_ZLIB·-I/usr/include/tcl8.6·-DYOSYS_ENABLE_TCL·-DYOSYS_ENABLE_ABC·-DYOSYS_ENABLE_COVER'·|·fmt·-w60·|·sed·':a;N;$!ba;s/\n/·\\\n······················/g'·)"
12 »       »       echo·"····--linkflags···-rdynamic"12 »       »       echo·"····--linkflags···-rdynamic"
13 »       »       echo·"····--ldflags·····(alias·of·--linkflags)"13 »       »       echo·"····--ldflags·····(alias·of·--linkflags)"
14 »       »       echo·"····--libs········-lstdc++·-lm·-lrt·-lreadline·-lffi·-ldl·-lz·-ltcl8.6·-ltclstub8.6"14 »       »       echo·"····--libs········-lstdc++·-lm·-lrt·-lreadline·-lffi·-ldl·-lz·-ltcl8.6·-ltclstub8.6"
15 »       »       echo·"····--ldlibs······(alias·of·--libs)"15 »       »       echo·"····--ldlibs······(alias·of·--libs)"
16 »       »       echo·"····--bindir······/usr/bin"16 »       »       echo·"····--bindir······/usr/bin"
17 »       »       echo·"····--datdir······/usr/share/yosys"17 »       »       echo·"····--datdir······/usr/share/yosys"
18 »       »       echo·""18 »       »       echo·""
Offset 60, 15 lines modifiedOffset 60, 15 lines modified
60 »       »       get_prefix=false60 »       »       get_prefix=false
61 »       »       continue61 »       »       continue
62 »       fi62 »       fi
63 »       case·"$opt"·in63 »       case·"$opt"·in
64 »       »       "$prefix"cxx)64 »       »       "$prefix"cxx)
65 »       »       »       tokens=(·"${tokens[@]}"··g++·······)·;;65 »       »       »       tokens=(·"${tokens[@]}"··g++·······)·;;
66 »       »       "$prefix"cxxflags)66 »       »       "$prefix"cxxflags)
67 »       »       »       tokens=(·"${tokens[@]}"··-g·-O2·-flto=auto·-ffat-lto-objects·-fstack-protector-strong·-Wformat·-Werror=format-security·-Wall·-Wextra·-ggdb·-I/usr/share/yosys/include·-MD·-MP·-D_YOSYS_·-fPIC·-I/usr/include·-DYOSYS_VER=··)·;;67 »       »       »       tokens=(·"${tokens[@]}"··-g·-O2·-flto=auto·-ffat-lto-objects·-fstack-protector-strong·-Wformat·-Werror=format-security·-Wall·-Wextra·-ggdb·-I/usr/share/yosys/include·-MD·-MP·-D_YOSYS_·-fPIC·-I/usr/include·-DYOSYS_VER=@CXXFLAGS@.52·-DYOSYS_MAJOR=0·-DYOSYS_MINOR=52·-DYOSYS_COMMIT=0.52·-std=c++17·-O3·-DYOSYS_ENABLE_READLINE·-DYOSYS_ENABLE_PLUGINS·-DYOSYS_ENABLE_GLOB·-DYOSYS_ENABLE_ZLIB·-I/usr/include/tcl8.6·-DYOSYS_ENABLE_TCL·-DYOSYS_ENABLE_ABC·-DYOSYS_ENABLE_COVER··)·;;
68 »       »       "$prefix"linkflags)68 »       »       "$prefix"linkflags)
69 »       »       »       tokens=(·"${tokens[@]}"··-rdynamic···)·;;69 »       »       »       tokens=(·"${tokens[@]}"··-rdynamic···)·;;
70 »       »       "$prefix"libs)70 »       »       "$prefix"libs)
71 »       »       »       tokens=(·"${tokens[@]}"··-lstdc++·-lm·-lrt·-lreadline·-lffi·-ldl·-lz·-ltcl8.6·-ltclstub8.6····)·;;71 »       »       »       tokens=(·"${tokens[@]}"··-lstdc++·-lm·-lrt·-lreadline·-lffi·-ldl·-lz·-ltcl8.6·-ltclstub8.6····)·;;
72 »       »       "$prefix"ldflags)72 »       »       "$prefix"ldflags)
73 »       »       »       tokens=(·"${tokens[@]}"··-rdynamic···)·;;73 »       »       »       tokens=(·"${tokens[@]}"··-rdynamic···)·;;
74 »       »       "$prefix"ldlibs)74 »       »       "$prefix"ldlibs)
⊟
296 KB
yosys-doc_0.52-1_all.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2025-04-11·08:41:09.000000·debian-binary1 -rw-r--r--···0········0········0········4·2025-04-11·08:41:09.000000·debian-binary
2 -rw-r--r--···0········0········0······888·2025-04-11·08:41:09.000000·control.tar.xz2 -rw-r--r--···0········0········0······888·2025-04-11·08:41:09.000000·control.tar.xz
3 -rw-r--r--···0········0········0··2915360·2025-04-11·08:41:09.000000·data.tar.xz3 -rw-r--r--···0········0········0··2915980·2025-04-11·08:41:09.000000·data.tar.xz
⊟
593 B
control.tar.xz
⊟
565 B
control.tar
⊟
495 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·yosys-doc1 Package:·yosys-doc
2 Source:·yosys2 Source:·yosys
3 Version:·0.52-13 Version:·0.52-1
4 Architecture:·all4 Architecture:·all
5 Maintainer:·Debian·Electronics·Team·<pkg-electronics-devel@lists.alioth.debian.org>5 Maintainer:·Debian·Electronics·Team·<pkg-electronics-devel@lists.alioth.debian.org>
6 Installed-Size:·30456 Installed-Size:·3046
7 Suggests:·yosys7 Suggests:·yosys
8 Section:·doc8 Section:·doc
9 Priority:·optional9 Priority:·optional
10 Multi-Arch:·foreign10 Multi-Arch:·foreign
11 Homepage:·https://github.com/YosysHQ/yosys11 Homepage:·https://github.com/YosysHQ/yosys
12 Description:·Framework·for·Verilog·RTL·synthesis·(documentation)12 Description:·Framework·for·Verilog·RTL·synthesis·(documentation)
13 ·Yosys·is·a·framework·for·Verilog·RTL·synthesis.·It·currently·has·extensive13 ·Yosys·is·a·framework·for·Verilog·RTL·synthesis.·It·currently·has·extensive
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
295 KB
data.tar.xz
⊟
295 KB
data.tar
⊟
1.61 KB
file list
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/
6 -rw-r--r--···0·root·········(0)·root·········(0)··3060688·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/yosyshqyosys.pdf6 -rw-r--r--···0·root·········(0)·root·········(0)··3061202·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/yosyshqyosys.pdf
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-doc/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-doc/
8 -rw-r--r--···0·root·········(0)·root·········(0)·····2827·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-doc/changelog.Debian.gz8 -rw-r--r--···0·root·········(0)·root·········(0)·····2827·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-doc/changelog.Debian.gz
9 -rw-r--r--···0·root·········(0)·root·········(0)····18593·2025-04-09·05:38:42.000000·./usr/share/doc/yosys-doc/changelog.gz9 -rw-r--r--···0·root·········(0)·root·········(0)····18593·2025-04-09·05:38:42.000000·./usr/share/doc/yosys-doc/changelog.gz
10 -rw-r--r--···0·root·········(0)·root·········(0)····23806·2025-04-11·08:32:04.000000·./usr/share/doc/yosys-doc/copyright10 -rw-r--r--···0·root·········(0)·root·········(0)····23806·2025-04-11·08:32:04.000000·./usr/share/doc/yosys-doc/copyright
11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc-base/11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc-base/
12 -rw-r--r--···0·root·········(0)·root·········(0)······245·2023-08-27·13:27:37.000000·./usr/share/doc-base/yosys-doc.yosys-manual12 -rw-r--r--···0·root·········(0)·root·········(0)······245·2023-08-27·13:27:37.000000·./usr/share/doc-base/yosys-doc.yosys-manual
13 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/manual.pdf·->·yosyshqyosys.pdf13 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/manual.pdf·->·yosyshqyosys.pdf
⊟
293 KB
./usr/share/doc/yosys/yosyshqyosys.pdf
⊟
293 KB
pdftotext {} -
    
Offset 100, 32 lines modifiedOffset 100, 32 lines modified
100 4.2·Internal·formats·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·155100 4.2·Internal·formats·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·155
101 4.2.1·The·RTL·Intermediate·Language·(RTLIL)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·156101 4.2.1·The·RTL·Intermediate·Language·(RTLIL)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·156
102 4.3·Working·with·the·Yosys·codebase·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·162102 4.3·Working·with·the·Yosys·codebase·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·162
103 4.3.1·Writing·extensions·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·162103 4.3.1·Writing·extensions·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·162
104 4.3.2·Compiling·with·Verific·library·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·171104 4.3.2·Compiling·with·Verific·library·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·171
105 4.3.3·Writing·a·new·backend·using·FunctionalIR·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·173105 4.3.3·Writing·a·new·backend·using·FunctionalIR·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·173
106 4.3.4·Contributing·to·Yosys·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·186106 4.3.4·Contributing·to·Yosys·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·186
107 4.3.5·Testing·Yosys·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·186107 4.3.5·Testing·Yosys·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·187
108 4.4·Techmap·by·example·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·187108 4.4·Techmap·by·example·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·187
109 4.4.1·Mapping·OR3X1·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·187109 4.4.1·Mapping·OR3X1·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·188
110 4.4.2·Conditional·techmap·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·189110 4.4.2·Conditional·techmap·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·189
111 4.4.3·Scripting·in·map·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·190111 4.4.3·Scripting·in·map·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·191
112 4.4.4·Handling·constant·inputs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·192112 4.4.4·Handling·constant·inputs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·192
113 4.4.5·Handling·shorted·inputs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·193113 4.4.5·Handling·shorted·inputs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·194
114 4.4.6·Notes·on·using·techmap·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·195114 4.4.6·Notes·on·using·techmap·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·195
115 4.5·Notes·on·Verilog·support·in·Yosys·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·195115 4.5·Notes·on·Verilog·support·in·Yosys·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·196
116 4.5.1·Unsupported·Verilog-2005·Features·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·195116 4.5.1·Unsupported·Verilog-2005·Features·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·196
117 4.5.2·Verilog·Attributes·and·non-standard·features·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·195117 4.5.2·Verilog·Attributes·and·non-standard·features·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·196
118 4.5.3·Non-standard·or·SystemVerilog·features·for·formal·verification·.·.·.·.·.·.·.·.·.·.·.·.·.·199118 4.5.3·Non-standard·or·SystemVerilog·features·for·formal·verification·.·.·.·.·.·.·.·.·.·.·.·.·.·200
119 4.5.4·Supported·features·from·SystemVerilog·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·200119 4.5.4·Supported·features·from·SystemVerilog·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·200
120 4.6·Hashing·and·associative·data·structures·in·Yosys·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·200120 4.6·Hashing·and·associative·data·structures·in·Yosys·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·201
121 4.6.1·Container·classes·based·on·hashing·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·200121 4.6.1·Container·classes·based·on·hashing·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·201
122 4.6.2·The·hash·function·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·201122 4.6.2·The·hash·function·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·202
123 4.6.3·Making·a·type·hashable·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·202123 4.6.3·Making·a·type·hashable·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·202
124 4.6.4·Porting·plugins·from·the·legacy·interface·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·202124 4.6.4·Porting·plugins·from·the·legacy·interface·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·203
  
125 5125 5
  
126 A·primer·on·digital·circuit·synthesis126 A·primer·on·digital·circuit·synthesis
127 205127 205
128 5.1·Levels·of·abstraction·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·205128 5.1·Levels·of·abstraction·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·205
129 5.1.1·System·level·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·206129 5.1.1·System·level·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·206
Offset 198, 372 lines modifiedOffset 198, 372 lines modified
198 8198 8
  
199 Auxiliary·programs199 Auxiliary·programs
200 225200 225
201 8.1·yosys-config·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·225201 8.1·yosys-config·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·225
202 8.2·yosys-filterlib·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·226202 8.2·yosys-filterlib·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·226
203 8.3·yosys-abc·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·226203 8.3·yosys-abc·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·226
204 8.4·yosys-smtbmc·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·226204 8.4·yosys-smtbmc·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·227
205 8.5·yosys-witness·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·230205 8.5·yosys-witness·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·230
  
206 9206 9
  
207 Internal·cell·library207 Internal·cell·library
208 231208 233
209 9.1·Word-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·231209 9.1·Word-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·233
210 9.1.1·Unary·operators·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·231210 9.1.1·Unary·operators·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·233
211 9.1.2·Binary·operators·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·237211 9.1.2·Binary·operators·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·239
212 9.1.3·Multiplexers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·257212 9.1.3·Multiplexers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·259
213 9.1.4·Registers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·261213 9.1.4·Registers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·263
214 9.1.5·Memories·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·271214 9.1.5·Memories·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·273
215 9.1.6·Finite·state·machines·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·283215 9.1.6·Finite·state·machines·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·285
216 9.1.7·Coarse·arithmetics·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·285216 9.1.7·Coarse·arithmetics·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·287
217 9.1.8·Arbitrary·logic·functions·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·293217 9.1.8·Arbitrary·logic·functions·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·295
218 9.1.9·Specify·rules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·295218 9.1.9·Specify·rules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·297
219 iii219 iii
  
220 \xc9.2220 \xc9.2
  
221 9.3221 9.3
  
222 9.1.10·Formal·verification·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·300222 9.1.10·Formal·verification·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·302
223 9.1.11·Debugging·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·306223 9.1.11·Debugging·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·308
224 9.1.12·Wire·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·309224 9.1.12·Wire·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·311
225 Gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·310225 Gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·312
226 9.2.1·Combinatorial·cells·(simple)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·311226 9.2.1·Combinatorial·cells·(simple)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·313
227 9.2.2·Combinatorial·cells·(combined)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·315227 9.2.2·Combinatorial·cells·(combined)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·317
228 9.2.3·Flip-flop·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·321228 9.2.3·Flip-flop·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·323
229 9.2.4·Latch·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·375229 9.2.4·Latch·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·377
230 9.2.5·Other·gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·387230 9.2.5·Other·gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·389
231 Cell·properties·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·388231 Cell·properties·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·390
  
232 10·Command·line·reference232 10·Command·line·reference
233 389233 391
234 10.1·Yosys·environment·variables·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·390234 10.1·Yosys·environment·variables·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·392
235 10.2·abc·-·use·ABC·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·391235 10.2·abc·-·use·ABC·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·393
236 10.3·abc9·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·394236 10.3·abc9·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·396
237 10.4·abc9_exe·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·397237 10.4·abc9_exe·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·399
238 10.5·abc9_ops·-·helper·functions·for·ABC9·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·399238 10.5·abc9_ops·-·helper·functions·for·ABC9·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·401
239 10.6·abc_new·-·(experimental)·use·ABC·for·SC·technology·mapping·(new)·.·.·.·.·.·.·.·.·.·.·.·.·.·401239 10.6·abc_new·-·(experimental)·use·ABC·for·SC·technology·mapping·(new)·.·.·.·.·.·.·.·.·.·.·.·.·.·403
240 10.7·abstract·-·replace·signals·with·abstract·values·during·formal·verification·.·.·.·.·.·.·.·.·.·.·.·.·402240 10.7·abstract·-·replace·signals·with·abstract·values·during·formal·verification·.·.·.·.·.·.·.·.·.·.·.·.·404
241 10.8·add·-·add·objects·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·403241 10.8·add·-·add·objects·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405
242 10.9·aigmap·-·map·logic·to·and-inverter-graph·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·404242 10.9·aigmap·-·map·logic·to·and-inverter-graph·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·406
243 10.10·alumacc·-·extract·ALU·and·MACC·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·404243 10.10·alumacc·-·extract·ALU·and·MACC·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·406
244 10.11·anlogic_eqn·-·Anlogic:·Calculate·equations·for·luts·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·404244 10.11·anlogic_eqn·-·Anlogic:·Calculate·equations·for·luts·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·406
245 10.12·anlogic_fixcarry·-·Anlogic:·fix·carry·chain·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405245 10.12·anlogic_fixcarry·-·Anlogic:·fix·carry·chain·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
246 10.13·assertpmux·-·adds·asserts·for·parallel·muxes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405246 10.13·assertpmux·-·adds·asserts·for·parallel·muxes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
247 10.14·async2sync·-·convert·async·FF·inputs·to·sync·circuits·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405247 10.14·async2sync·-·convert·async·FF·inputs·to·sync·circuits·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
248 10.15·attrmap·-·renaming·attributes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405248 10.15·attrmap·-·renaming·attributes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
249 10.16·attrmvcp·-·move·or·copy·attributes·from·wires·to·driving·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·406249 10.16·attrmvcp·-·move·or·copy·attributes·from·wires·to·driving·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·408
250 10.17·autoname·-·automatically·assign·names·to·objects·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407250 10.17·autoname·-·automatically·assign·names·to·objects·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·409
251 10.18·blackbox·-·convert·modules·into·blackbox·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407251 10.18·blackbox·-·convert·modules·into·blackbox·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·409
252 10.19·bmuxmap·-·transform·$bmux·cells·to·trees·of·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407252 10.19·bmuxmap·-·transform·$bmux·cells·to·trees·of·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·409
253 10.20·booth·-·map·$mul·cells·to·Booth·multipliers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407253 10.20·booth·-·map·$mul·cells·to·Booth·multipliers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·409
254 10.21·box_derive·-·derive·box·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·408254 10.21·box_derive·-·derive·box·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·410
255 10.22·bufnorm·-·(experimental)·convert·design·into·buffered-normalized·form·.·.·.·.·.·.·.·.·.·.·.·.·408255 10.22·bufnorm·-·(experimental)·convert·design·into·buffered-normalized·form·.·.·.·.·.·.·.·.·.·.·.·.·410
256 10.23·bugpoint·-·minimize·testcases·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·410256 10.23·bugpoint·-·minimize·testcases·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·412
257 10.24·bwmuxmap·-·replace·$bwmux·cells·with·equivalent·logic·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·411257 10.24·bwmuxmap·-·replace·$bwmux·cells·with·equivalent·logic·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·413
258 10.25·cd·-·a·shortcut·for·‘select·-module·<name>’·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·411258 10.25·cd·-·a·shortcut·for·‘select·-module·<name>’·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·413
259 10.26·cellmatch·-·match·cells·to·their·targets·in·cell·library·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·412259 10.26·cellmatch·-·match·cells·to·their·targets·in·cell·library·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414
260 10.27·check·-·check·for·obvious·problems·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·412260 10.27·check·-·check·for·obvious·problems·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414
261 10.28·chformal·-·change·formal·constraints·of·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·413261 10.28·chformal·-·change·formal·constraints·of·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415
262 10.29·chparam·-·re-evaluate·modules·with·new·parameters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414262 10.29·chparam·-·re-evaluate·modules·with·new·parameters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·416
263 10.30·chtype·-·change·type·of·cells·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414263 10.30·chtype·-·change·type·of·cells·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·416
264 10.31·clean·-·remove·unused·cells·and·wires·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414264 10.31·clean·-·remove·unused·cells·and·wires·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·416
265 10.32·clean_zerowidth·-·clean·zero-width·connections·from·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415265 10.32·clean_zerowidth·-·clean·zero-width·connections·from·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417
266 10.33·clk2fflogic·-·convert·clocked·FFs·to·generic·$ff·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415266 10.33·clk2fflogic·-·convert·clocked·FFs·to·generic·$ff·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417
267 10.34·clkbufmap·-·insert·clock·buffers·on·clock·networks·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415267 10.34·clkbufmap·-·insert·clock·buffers·on·clock·networks·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417
268 10.35·clockgate·-·extract·clock·gating·out·of·flip·flops·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·416268 10.35·clockgate·-·extract·clock·gating·out·of·flip·flops·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·418
269 10.36·connect·-·create·or·remove·connections·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417269 10.36·connect·-·create·or·remove·connections·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419
270 10.37·connect_rpc·-·connect·to·RPC·frontend·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417270 10.37·connect_rpc·-·connect·to·RPC·frontend·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419
271 10.38·connwrappers·-·match·width·of·input-output·port·pairs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·418271 10.38·connwrappers·-·match·width·of·input-output·port·pairs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·420
272 10.39·coolrunner2_fixup·-·insert·necessary·buffer·cells·for·CoolRunner-II·architecture·.·.·.·.·.·.·.·.·419272 10.39·coolrunner2_fixup·-·insert·necessary·buffer·cells·for·CoolRunner-II·architecture·.·.·.·.·.·.·.·.·421
273 10.40·coolrunner2_sop·-·break·$sop·cells·into·ANDTERM/ORTERM·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419273 10.40·coolrunner2_sop·-·break·$sop·cells·into·ANDTERM/ORTERM·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421
274 10.41·copy·-·copy·modules·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419274 10.41·copy·-·copy·modules·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421
275 10.42·cover·-·print·code·coverage·counters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419275 10.42·cover·-·print·code·coverage·counters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421
  
276 iv276 iv
  
277 \xc10.43·cutpoint·-·adds·formal·cut·points·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·420277 \xc10.43·cutpoint·-·adds·formal·cut·points·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·422
278 10.44·debug·-·run·command·with·debug·log·messages·enabled·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·420278 10.44·debug·-·run·command·with·debug·log·messages·enabled·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·422
279 10.45·delete·-·delete·objects·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421279 10.45·delete·-·delete·objects·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423
280 10.46·deminout·-·demote·inout·ports·to·input·or·output·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421280 10.46·deminout·-·demote·inout·ports·to·input·or·output·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423
281 10.47·demuxmap·-·transform·$demux·cells·to·$eq·+·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421281 10.47·demuxmap·-·transform·$demux·cells·to·$eq·+·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423
282 10.48·design·-·save,·restore·and·reset·current·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421282 10.48·design·-·save,·restore·and·reset·current·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423
Max diff block lines reached; 270052/300267 bytes (89.94%) of diff not shown.
Generated by diffoscope 293