- Get special highlighting in our catalogue and priority placement at the top of our listings
- Have your company shown in special blocks, available only for updated business profiles
- And many more upcoming perks!
| Street address: | 13609 Coleto Creek Trail |
| City / suburb: | Austin, TX |
| Zip code: | 787322075 |
| Phone: |
(512) 266-1089 (Primary Phone) |
| Contact name: | |
| Contact title: | |
| Nearest landmark: | |
| Fax: | |
| Website: | |
| E-mail: | info@solidoaktech.com |
| Social networks: |
Solid Oak's innovative capture tool, CoverAll™, allows architects and designers to capture and document design intent in the form of flow, state and timing diagrams early in the process during the specification phase. These diagrams are automatically converted to functional assertions, cover paths and sequences in PSL or SVA languages or using Open Verification Library(OVL) checkers to reduce generation time and eliminate the errors of manual code and assertion creation. With the optional RTLComposer™ module, designers can also automatically generate synthesizable RTL in Verilog or SystemVerilog, bind modules, module-level testbench templates in SystemVerilog or uVM, and formal verification scripts for industry standard Formal Verification tools.
| Estimated number of employees: | 2 to 4 | |
| Annual sales estimate: | 87,000 | |
| City / suburb: | Austin, TX |
assertion based verification, electronic design automation, design intent capture