Coverage-driven functional verification
for Digital Design
The design verification process ensures that a newly developed digital or mixed-signal block functions correctly, according to the architectural specification, before it reaches the manufacturing stage. At Tremend, we strive to help our partners produce reliable designs while minimizing the time to market and costs.
Our block-level verification
services
Tremend offers both Time & Material and Fixed-Price solutions to fit the needs of the organizational structure of our customers. We provide complete digital and mixed-signal design verification services, which include the following:
- Verification activities planning
- Tools setup
- Verification metrics definition
- Verification Environment development and maintenance
- Test suite and functional coverage development
- Regression runs
- Debug
- Coverage analysis
1. Verification activities planning
- WBS of verification effort
- Definition of verification effort deliverables
- Timeline definition and management
- Risk Register definition and management
2. Tools setup
- Set up scripting infrastructure to support different tooling profiles for standalone simulation
- Set up scripting infrastructure for regressions, automated build, or continuous integration
- Additional software setup for data mining and results analysis
3. Verification metrics definition
- Definition of Verification Plan detailing input functional space targets and stimulus generation policy
- Definition of policies and code architecture for functional requirements traceability
4. Verification Environment development and maintenance
- Methodology-compliant verification IP development and updates
- Reusable and configurable environments development and updates
5. Test suite and functional coverage development
- Coding a ready for regression tests suite with clear coverage definitions
- Assess the test suite completeness based on functional and code coverage measurements
- Enhance the test suite by coding directed test cases to cover the corner cases and to achieve the desired coverage
6. Regression runs
- Implement methods for automatic testbench build
- Provide maintenance for automated regression running
- Implement automated reporting of regression results to engineers
- Implement automatic nightly and weekly regression runs
- Perform manual or automated testbench tagging
7. Debug
- Use state of the art methods for code bugs discovery
- Propose architectural changes to compensate for code bug fixes
8. Coverage analysis
- Merge coverage data of multiple regression runs
- Assist design engineers with RTL coverage analysis
- Manage functional coverage holes by iterative review sessions with the customer and improve the grades by means of additional constraints or new test development
- Functional verification: an essential service in ASIC development that ensures faster time to market, fewer functional defects, and improved usability or interface benefits for the final customer.
- Formal verification: a fast turnaround method for custom IP validation that ensures quick exploration of the input space of a simple design.
- Power-aware simulations: this procedure represents the best way to ensure that low power devices reach their electrical requirement in the field and is a sure way to help design a device with a long lifetime in day-to-day use. State-of-the-art tools are used to detect those areas where power consumption is outside the nominal range, and modern design solutions are employed to compensate.
- Firmware verification: offering a complete System Validation process via integration of the FW code during the verification effort of an ASIC. Both digital simulation and emulation are employed. FW prototyping in close connection to the verification effort allows for fast FW development, with fewer bugs and a better API for the end-user.
Technologies
TCSH
Bash
TCL
C++
Python
SystemVerilog
UVM
eRM
Verilog
Specman
VHDL
Perl
Get in touch
We are always happy to talk
Phone
+40-21-223-7700
Email
hello@tremend.com
Address
165 Splaiul Unirii, Timpuri Noi Square,
TN Office 2 building, 4th floor,
District 3, Bucharest, Romania, 030134