Description
teal - Verification Utility and Connection Library
| Property | Value |
|---|---|
| Distribution | Fedora Rawhide |
| Repository | Fedora x86_64 |
| Package name | teal |
| Package version | 1_40b |
| Package release | 14.fc23 |
| Package architecture | i686 |
| Package type | rpm |
| Installed size | 836.87 KB |
| Download size | 503.23 KB |
| Official Mirror | dl.fedoraproject.org |
Teal is a C++ multithreaded library to verify verilog designs. It deals with such things as simulation logging, error reporting, threading, memory model management. It basically provides all the low level building blocks needed to start a verification environment.
Alternatives
| Package | Version | Architecture | Repository |
|---|---|---|---|
| teal-1_40b-14.fc23.x86_64.rpm | 1_40b | x86_64 | Fedora |
| teal | - | - | - |
Requires
| Name | Value |
|---|---|
| /sbin/ldconfig | - |
| iverilog | - |
| libc.so.6(GLIBC_2.4) | - |
| libgcc_s.so.1 | - |
| libgcc_s.so.1(GCC_3.0) | - |
| rtld(GNU_HASH) | - |
Provides
| Name | Value |
|---|---|
| libteal.ivl.so.1.0 | - |
| teal | = 1_40b-14.fc23 |
| teal(x86-32) | = 1_40b-14.fc23 |
Download
| Type | URL |
|---|---|
| Binary Package | teal-1_40b-14.fc23.i686.rpm |
| Source Package | teal-1_40b-14.fc23.src.rpm |
Install Howto
Install the teal rpm package:
# dnf install tealFiles
| Path |
|---|
| /usr/include/teal/teal.h |
| /usr/include/teal/teal_dictionary.h |
| /usr/include/teal/teal_reg.h |
| /usr/include/teal/teal_vevents.h |
| /usr/include/teal/teal_vmemory.h |
| /usr/include/teal/teal_vout.h |
| /usr/include/teal/teal_vrandom.h |
| /usr/include/teal/teal_vthreads.h |
| /usr/lib/libteal.ivl.so |
| /usr/lib/libteal.ivl.so.1.0 |
| /usr/lib/teal/Makefile.Linux |
| /usr/share/doc/teal/Trusster-LGPLv2-license-permission.txt |
| /usr/share/doc/teal/examples_1_40a.tar.gz |
| /usr/share/doc/teal/teal_user.pdf |
Changelog
2015-06-19 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2014-08-18 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-06-11 - Jaromir Capik <jcapik@redhat.com> - 1_40b-12 - Fixing format-security flaws (#1107445) - Spec cleaning
2014-06-08 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2013-08-04 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
2013-02-15 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
2012-07-21 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
2012-02-28 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-7 - Rebuilt for c++ ABI breakage
2012-01-14 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
2011-02-09 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1_40b-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
See Also
| Package | Description |
|---|---|
| teamd-1.27-6.fc28.i686.rpm | Team network device control daemon |
| teamd-1.27-6.fc28.x86_64.rpm | Team network device control daemon |
| teamd-devel-1.27-6.fc28.i686.rpm | Libraries and header files for teamd development |
| teamd-devel-1.27-6.fc28.x86_64.rpm | Libraries and header files for teamd development |
| teamgit-0.0.12-23.20130626.fc28.x86_64.rpm | Visual tool for Git |
| techtalk-pse-1.2.0-2.fc28.noarch.rpm | Presentation software designed for technical people |
| teckit-2.5.7-2.fc28.i686.rpm | Conversion library and mapping compiler |
| teckit-2.5.7-2.fc28.x86_64.rpm | Conversion library and mapping compiler |
| teckit-devel-2.5.7-2.fc28.i686.rpm | Conversion library and mapping compiler |
| teckit-devel-2.5.7-2.fc28.x86_64.rpm | Conversion library and mapping compiler |
| tecnoballz-0.92-30.fc29.x86_64.rpm | A Brick Busting game |
| teem-1.11.0-6.fc28.x86_64.rpm | Libraries for scientific raster data processing and visualizing |
| teem-devel-1.11.0-6.fc28.i686.rpm | Libraries for scientific raster data processing and visualizing |
| teem-devel-1.11.0-6.fc28.x86_64.rpm | Libraries for scientific raster data processing and visualizing |
| teem-libs-1.11.0-6.fc28.i686.rpm | Libraries for scientific raster data processing and visualizing |
Advertisement
Advertisement
Advertisement