Package: cocotb Version: 1.5.2-c4m.1+6.16 Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 1728 Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.5), libstdc++6 (>= 5.2), python Filename: armhf/cocotb_1.5.2-c4m.1+6.16_armhf.deb Size: 271932 MD5sum: 0c9c2838e6c4a150beb8756eaf4110f2 SHA1: e4f67e4f8f718bf422b52efc1005a4c4b8fb3f58 SHA256: 5d632e7f9e022725993b62aa843bcb65f68758cd2503e17fa5b9edddaaf39156 Section: electronics Priority: extra Description: COroutine based COsimulation TestBench cocotb is a COroutine based COsimulation TestBench environment for verifying VHDL/Verilog RTL using Python. . cocotb is completely free, open source (under the BSD License) and hosted on GitHub. . cocotb requires a simulator to simulate the RTL. Simulators that have been tested and known to work with cocotb: . Linux Platforms * Icarus Verilog * GHDL * Aldec Riviera-PRO * Synopsys VCS * Cadence Incisive * Mentor ModelSim (DE and SE) . Windows Platform * Icarus Verilog * Aldec Riviera-PRO * Mentor ModelSim (DE and SE) . https://cocotb.readthedocs.io Package: cocotb-dbgsym Source: cocotb Version: 1.5.2-c4m.1+6.16 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 1635 Depends: cocotb (= 1.5.2-c4m.1+6.16) Filename: armhf/cocotb-dbgsym_1.5.2-c4m.1+6.16_armhf.deb Size: 1232816 MD5sum: b30cbdaa21335e236b4a172df2e60917 SHA1: f6b746ed08cef1bbb79936aa4913e338bde46389 SHA256: e7a7ff5b6ca45fa936facf365c2f13221c28d1a889e65a9ab7493abdd210a946 Section: debug Priority: optional Description: debug symbols for cocotb Build-Ids: 0ab5dddf554ec66160edd5b92bd162d401f84bf5 17fc08495048ba2a49ae866e2e1b8b1d8991ace1 221990c3568bc853f2cbd3418248560ebe88b1e9 246f23022b42b6933dfcbe9511b99cf9a646a144 5c9003fc1cc683acb9e59163291187038fc05d56 70935cf5ab21511529142cc4af1da560e2461f2a 8c915d5d475c42041d3a84c00703ef596ba14080 8dac0b6f08b8e7252b3e237d9672be799a85314f b6ffd86b3facc5346c7507260753295d0570d7bc d4c2886a39cb0df5aa884e3b87e8ee01f9710712 d7a00fee630bba82095364719c252cd576b48e1e db10e2565854b6d5e42d8d7fb1d3b0a920f72faa fe2c8e5417126ce793fe5fda058f19d9ca73e217 Package: gtkwave Version: 3.3.110-c4m.1+3.64 Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 3928 Depends: libatk1.0-0 (>= 1.12.4), libbz2-1.0, libc6 (>= 2.7), libcairo-gobject2 (>= 1.10.0), libcairo2 (>= 1.10.0), libgcc1 (>= 1:3.5), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.49.3), libgtk-3-0 (>= 3.21.5), libjudydebian1, liblzma5 (>= 5.1.1alpha+20120614), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libstdc++6 (>= 5.2), libtcl8.6 (>= 8.6.0), libtk8.6 (>= 8.6.0), zlib1g (>= 1:1.2.0) Filename: armhf/gtkwave_3.3.110-c4m.1+3.64_armhf.deb Size: 2252916 MD5sum: f40f21dfc0fe8d84880cc2b8cd39b556 SHA1: ca6c43e31346545881fefda4ebd7a4fe19fc4d46 SHA256: bda191e636b3ee713b8497ada9773bb71ebf39d845476f5cbab57c44286b2597 Section: electronics Priority: extra Description: Waveform Viewer GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing. Package: gtkwave-dbgsym Source: gtkwave Version: 3.3.110-c4m.1+3.64 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 5880 Depends: gtkwave (= 3.3.110-c4m.1+3.64) Filename: armhf/gtkwave-dbgsym_3.3.110-c4m.1+3.64_armhf.deb Size: 5670560 MD5sum: 704da071b218026f271d79256d6c58b1 SHA1: 1079297539767951787c110f293abb20a68b9509 SHA256: 15437062dcb8b7967702e76727c3e3e9461ebd7bbe05dfdd48568b04e88d522a Section: debug Priority: optional Description: debug symbols for gtkwave Build-Ids: 06c885833790be67e2f7e52b4aad1802d8d1f09c 1e6d6cf783da7bdd9a7e5a01123f27aea4560d6d 32eb82a4fb6bae62f37fbec6691a0b5155688b64 50995f7f7f22d2af2f67f3c05c778047ddbd78e6 609d62179dffd072a143547ed2c2ba6022d93e79 6535470239d2752b29e7756aef0022f06f543458 672fb343d88caf005fba1781fe4795da109760c4 6db18385c59b6b7966ebfc8fd193be11d6155a4c 8d5d59ad7fa010c483e1dbd7b66a2efa6b4d6bd2 9212dee5e2d262ecb725fb830486e37bab5fd1eb 98d242379e3cf2e5dba695d30870079fe4ed0208 b8d133bbe86857c57f72d27f4bf50408f317ea57 c5aa63e50cbe173acbbf3ddb07a2277cae204685 e6413198f38431a02958b14aeece22e625612438 f4aca8dc1ca571f597a5bf9a0eeb222b29e0f097 f51cd916dc3a409727082de7ade7826f0fdc7dd2 Package: iverilog Version: 11.0-c4m.1+4.20 Architecture: armhf Maintainer: Chips4Makers Installed-Size: 5027 Depends: libc6 (>= 2.7), libgcc1 (>= 1:3.5), libreadline7 (>= 6.0), libstdc++6 (>= 5.2), libtinfo6 (>= 6), zlib1g (>= 1:1.2.0) Filename: armhf/iverilog_11.0-c4m.1+4.20_armhf.deb Size: 1505768 MD5sum: 1af0e25674c8927b5e3e556b387561bc SHA1: 1e74920e8ecaaf1cb29f1299dfe3d78d4b2b12b1 SHA256: ccbceb13c0e63b75fee53d546ebc2968835eb4ce3690fc0593802e9d7dda5712 Section: electronics Priority: extra Description: Icarus Verilog Icarus Verilog is a Verilog compiler that generates a variety of engineering formats, including simulation. It strives to be true to the IEEE-1364 standard. Package: iverilog-dbgsym Source: iverilog Version: 11.0-c4m.1+4.20 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Chips4Makers Installed-Size: 21466 Depends: iverilog (= 11.0-c4m.1+4.20) Filename: armhf/iverilog-dbgsym_11.0-c4m.1+4.20_armhf.deb Size: 20738160 MD5sum: dcb1b3e4d4ed12806fca443f147a6445 SHA1: 75c3d23c610c1957d3bf63ed0d08443d1c73d29e SHA256: 1c40970af451829f9133c7f7983616bd7f2dab70daf21ba3c373c809b6f53452 Section: debug Priority: optional Description: debug symbols for iverilog Build-Ids: 0896d46d2207110e79ab71a81c2fedd0fcbf93c7 0cdcf967f3c1c6313eeed264677a3143afc0bfc6 157b323a9225f2a8228638cc0790693b90b9e14a 305566b19a15c1accfcd1db580f0a85fc40f4224 44e12373d3874a401e0026482660bbde83f6f4a6 4df9367bef0fe6e7aaa9e3ba98e03c36c0d2982d 5ce32dffb44271156dafbcb0a2361991e57ee7be 6d2d43463f46fa6a53911c0b87112a41a38789ef 762c38ff341689d55ffc0c0d09860625aea67281 8f76108ff0a240572b843beab4258c24d093dfd1 9a12b14d5e23efce70c641bb906d87d5f0cece1f ac225024b46d4b6122ef8c03e85b178b80501d14 afc6d21ce65866e1dcddacad6d71b758c0c1f0cd c68dce57a90aee6aa3e167e751ab1fa9d5063634 cd9e335df2714b2509d9db197ee8f6a9b110a42c d2d27439149734ad2b5c02ee7db310695628c379 dd17b5114fd31e125051105d7046b3c756132885 e24dec9cf2ae0ffe3d05c74122c6c6f7cc10028c e27d3f8efa5836ac5f250b693a9aa647b3fdf492 e5792c621685f2a21c086d362143059a1d04403c ffd267b9e8136055c1e8126ce1536ebaf1249bd8 Package: klayout Version: 0.27.2-c4m.1+5.30 Architecture: armhf Maintainer: Matthias Köfferlein Installed-Size: 137530 Depends: libatomic1 (>= 4.8), libc6 (>= 2.17), libgcc1 (>= 1:3.5), libgles2, libglib2.0-0 (>= 2.12.0), libpulse-mainloop-glib0 (>= 0.99.1), libpulse0 (>= 0.99.1), libpython3.7 (>= 3.7.0), libqt5core5a (>= 5.10.0), libqt5designer5 (>= 5.6.0~beta), libqt5gui5 (>= 5.9.0~beta3), libqt5multimedia5 (>= 5.6.0~beta), libqt5multimediawidgets5 (>= 5.6.0~beta), libqt5network5 (>= 5.5.0), libqt5printsupport5 (>= 5.4.0), libqt5sql5 (>= 5.10.0), libqt5svg5 (>= 5.6.0~beta), libqt5widgets5 (>= 5.11.0~rc1), libqt5xml5 (>= 5.1.0), libqt5xmlpatterns5 (>= 5.9.0), libruby2.5 (>= 2.5.0~preview1), libstdc++6 (>= 5.2), zlib1g (>= 1:1.1.4) Filename: armhf/klayout_0.27.2-c4m.1+5.30_armhf.deb Size: 26348080 MD5sum: 85a09b8fa647888057104e640c72ea20 SHA1: b54104820348a1cddb4fc4879b547747ee5ed32c SHA256: 561b2956ed9b85ebde74d74451e6ef9044224ce2de037747f6cd15a06b740698 Section: electronics Priority: optional Description: Chip mask layout review and edit utility Klayout is a graphical viewer and editor for a.o. GDSII, OASIS, CIF and other files. Its features include net highlighting and XOR-ing of two layouts, scripting capabilities in Ruby and Python and much more. Package: klayout-dbgsym Source: klayout Version: 0.27.2-c4m.1+5.30 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Matthias Köfferlein Installed-Size: 127 Depends: klayout (= 0.27.2-c4m.1+5.30) Filename: armhf/klayout-dbgsym_0.27.2-c4m.1+5.30_armhf.deb Size: 9348 MD5sum: 9335166d643858a96d3cf2bf70518cd6 SHA1: b372d740afdb8986d3511405b433a19eca7bca62 SHA256: 82f48a57c523e6d10fdba185d6bb91789d5e58ec048c3a20420578a40d0970f5 Section: debug Priority: optional Description: debug symbols for klayout Build-Ids: 0f21256a38a2a8c8a7785920e8bf22afee642ffa 173bd3ca7464e2124fd99c8967a2d446d35c3dc7 2c94e6145a75fea0858779067f430f5af360b3f1 41db3cf66aa175f5224e1f9df56a80e54aa45293 490788d99d2cddd8741dd5c8d4601a1a860a97c9 64bfb1a7dea6674d6ab09649ab6e48499262b205 6f055e405c854f556d9a65644479dd5a12041de5 755e6548f2851367d8e4ff7cb1898136bf631bd3 86019e30a72dfa79df31a740991bef60a7daf1f4 87f1d15b7e6d24a2902bea6e162954c28c2efb9a 9606f92c5b1cfab91805cc8749b450903af67ae5 a55599505d71f4dee18034c27a93bb1a0dc23f85 aba12e7963acc1d7572c5cf0bd0d3e91855e8e60 ae5abc9010f87c5f6534c54b17da53e09a12ca0c b6eb83d56708c10dbf03828b3c1b257a542f7f31 d0101203ad9a605346d2686e9d325868634f770d d072d3ee1395beb2143e6ffbb23cd57380eca9e2 Package: netgen-lvs Source: netgen Version: 1.5.133-c4m.0.0 Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 763 Depends: libc6 (>= 2.7), libtcl8.6 (>= 8.6.0), libtk8.6 (>= 8.6.0), libx11-6 Filename: armhf/netgen-lvs_1.5.133-c4m.0.0_armhf.deb Size: 176092 MD5sum: 793b5fb4cf82d344940c99774ba92dce SHA1: 90195bb0e72dcdf12c7e8d9ccf7970b541e8f685 SHA256: fb3b4c243615efa9667d30e172fcdcbb62df2e680fef6cb8f1b1aaca12c7dcdd Section: electronics Priority: extra Description: Netgen complete LVS tool for comparing SPICE or verilog netlists Netgen complete LVS tool for comparing SPICE or verilog netlists . http://opencircuitdesign.com/netgen/ Package: netgen-lvs-dbgsym Source: netgen Version: 1.5.133-c4m.0.0 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 384 Depends: netgen-lvs (= 1.5.133-c4m.0.0) Filename: armhf/netgen-lvs-dbgsym_1.5.133-c4m.0.0_armhf.deb Size: 346672 MD5sum: e7b9646f380abc3debf14cf71e9a934f SHA1: ae96b1e21b00dad6cd9bfa59e30cda4390a800e2 SHA256: cbec7274d1e5d670d978614d14ed81cd711cf4c8102cfbae6c7deba062fbf28e Section: debug Priority: optional Description: debug symbols for netgen-lvs Build-Ids: 18d812f2e7140f43c317f32a9d02c0164c9ef1f6 1b7894b53a7970d4c328a27efd1f0fdd730f526b Package: opensta Version: 2.2.1.dev20210719.git37cd1fc-c4m.0.0 Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 9840 Depends: libc6 (>= 2.27), libgcc1 (>= 1:3.5), libstdc++6 (>= 6), libtcl8.6 (>= 8.6.0), zlib1g (>= 1:1.1.4) Filename: armhf/opensta_2.2.1.dev20210719.git37cd1fc-c4m.0.0_armhf.deb Size: 1134640 MD5sum: cadc8edeceb672d154e6374bf11b1b90 SHA1: 776e285cb42d5cfe8ca9ebce403eb067f728dc2a SHA256: 9ee69f7cb8aa40adbe34357dbb8226c31e37b56baca0c093b447197aaeb09865 Section: electronics Priority: extra Description: OpenSTA is a gate level static timing verifier Package: opensta-dbgsym Source: opensta Version: 2.2.1.dev20210719.git37cd1fc-c4m.0.0 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 15628 Depends: opensta (= 2.2.1.dev20210719.git37cd1fc-c4m.0.0) Filename: armhf/opensta-dbgsym_2.2.1.dev20210719.git37cd1fc-c4m.0.0_armhf.deb Size: 15070428 MD5sum: d1bb23399be9d981ba510774b217dffb SHA1: f58ad00ba3a501eb4235026e68ab798a02582bdc SHA256: 5a6c33829da0a3a958b4b5272751cbdbc2ddac50a897f7392d5199cc8431f126 Section: debug Priority: optional Description: debug symbols for opensta Build-Ids: f464f83f5ac5db97142eb3444b025ffcd1810602 Package: verilator Version: 4.106-c4m.1+6.36 Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 12276 Depends: zlib1g-dev, libc6 (>= 2.28) Filename: armhf/verilator_4.106-c4m.1+6.36_armhf.deb Size: 2736084 MD5sum: e259665653a05a77796aea134bf25763 SHA1: 4218614be39e6bfa61ffbeee62fb0bab1503ff57 SHA256: 693fe6c1f770d2e00fff2542a40403f0b4dfb402e70c29dd7fdf7c7cc790dc3c Section: electronics Priority: extra Description: A fast simulator for synthesizable Verilog Verilator is the fastest free Verilog HDL simulator. It compiles synthesizable Verilog, plus some PSL, SystemVerilog and Synthesis assertions into C++ or SystemC code. It is designed for large projects where fast simulation performance is of primary concern, and is especially well suited to create executable models of CPUs for embedded software design teams. Package: verilator-dbgsym Source: verilator Version: 4.106-c4m.1+6.36 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 99473 Depends: verilator (= 4.106-c4m.1+6.36) Filename: armhf/verilator-dbgsym_4.106-c4m.1+6.36_armhf.deb Size: 96236084 MD5sum: ccafb55fa3d1c41eca080cc1eff352c9 SHA1: 45b82e331bc12c24ad1362f3b1dc93dd6ccebc1f SHA256: 9a6b4fdae83f341aefc308f28f0c5a05daeee50650da4e8ea4891b9df987f124 Section: debug Priority: optional Description: debug symbols for verilator Build-Ids: 3ffc8053dfd17d87b585a4547de31aa3b09a39a3 59f34d49cf429f07b0a9110178531a5272517600 ba4499228a17114c1ce387b74bad3f27cae17894 Package: yosys Version: 0.9+4081-c4m.1+6.17 Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 34649 Depends: libc6 (>= 2.27), libffi6 (>= 3.0.4), libgcc1 (>= 1:3.5), libreadline7 (>= 6.0), libstdc++6 (>= 5.2), libtcl8.6 (>= 8.6.0), zlib1g (>= 1:1.1.4) Filename: armhf/yosys_0.9+4081-c4m.1+6.17_armhf.deb Size: 9119664 MD5sum: c0639bf65c4966edb2b618095738ff19 SHA1: 73d76a275c850b6aa7f7e2fab1a456e4a8923906 SHA256: 5382558a442ac6e339ba7934d1bb639d8e63a0ae5e2c032c92699de1d43c1844 Section: electronics Priority: extra Description: Yosys Open SYnthesis Suite This is a framework for RTL synthesis tools. It currently has extensive Verilog-2005 support and provides a basic set of synthesis algorithms for various application domains. . 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. . Yosys is free software licensed under the ISC license (a GPL compatible license that is similar in terms to the MIT license or the 2-clause BSD license). . http://www.clifford.at/yosys/ Package: yosys-dbgsym Source: yosys Version: 0.9+4081-c4m.1+6.17 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Staf Verhaegen Installed-Size: 6069 Depends: yosys (= 0.9+4081-c4m.1+6.17) Filename: armhf/yosys-dbgsym_0.9+4081-c4m.1+6.17_armhf.deb Size: 462852 MD5sum: ab6e716d383d0362268417f83b5d597c SHA1: f94a848149b42cbf2801ac8e1c8f15501eff3883 SHA256: 57ce774834d6da6a15d6983dce5a42518cfc868813de09206008903747d18d3f Section: debug Priority: optional Description: debug symbols for yosys Build-Ids: 7b995d8c45a3bea71223ff0b6ba52264eacf2848 8b2b07a738818f71f0db85d455d88ea2316e5de1