Embedded Verification

Subjecting embedded systems—especially complex ones—to formal verification and validation is essential. Rigorous testing ensures that implementations align with specifications. Embedded verification and validation ensures that embedded systems being developed, maintained, or modified meet functional requirements.

Satyam performs Embedded Verification and Validation services for electronic and electromechanical products, including hardware and embedded software components, ASIC verification and validation. We also handle them for test automation rigs for embedded system verification and validation, design, implementation, and technology transfer activities.

Our proven processes and methodologies enable OEMs to enter new product market with more confidence, higher market acceptance, and improved product quality. The services include:

• Electronic product V&V
• Electromechanical product V&V
• ASIC V&V

Electronic Products Verification and Validation

V&V for electronic products includes generation and documentation of a test and strategy plan. It also includes design/development of test hardware/software specifications from the product/module being tested, including requirements analysis, to carry out functional and environmental testing. Typical activities carried out for electronic product V&V include:

• Functional verification of hardware and software components
• Hardware and software integration
• Unit and module-level testing
• Coverage analysis
• Compliance certification testing for safety and EMI/EMC
• Simulation testing
• Test automation rigs

Electromechanical Products Verification and Validation

Electromechanical V&V simulates and validates complex components, involved circuits, and complete systems for automotive, aerospace applications, and industrial automation. The service helps assess the performance and safety of electromechanical products for industries such as automotive and aerospace. This service includes:

• Simulation and model buildup for mechanical systems
• Verification of system functional algorithms
• Functional verification of hardware and software components
• Hardware and software integration
• Unit- and module-level testing
• Hardware in loop simulation (HILS)
• Coverage analysis
• Compliance certification testing
• Simulation testing
• EMI/EMC testing and validation
• Reliability testing
• Building test automation rigs

ASIC Verification and Validation

ASIC V&V services helps clients in the telecom, automotive, aerospace, consumer electronics, and manufacturing industries, among others. With high-end simulators for RTL, support of high-level verification, and FPGA validation platforms, this service is equipped to handle verification of multimillion-gate designs.

The service includes:

• V&V plans for ASIC/FPGA IP cores/designs
• Development of verification environment using bus functional models, monitors, checker, test pattern/packet generates, and score boards
• Test bench in SystemC, Verilog, VHDL, System Verilog, Specman
• Test case designs
• Validation platform buildup( FPGA/processor-based)
• Testing on validation platforms

Back