Services

Mirafra provides full spectrum of services in the following areas :

Hardware Verification

We have expertise in all aspects of hardware verification.

• Hardware description languages: SystemVerilog, Verilog, Vhdl
• Hardware Verification Languages: SystemVerilog, VERA, e
• Verification Frameworks: RVM, VMM, AVM, eRM
• Verification Technologies: Coverage, Assertions, Constrained Random Stimulus Generation
• Popular Standards and Buses: PCI, PCI Express, USB, ETHERNET, SONET, HDLC, AMBA, AHB, Firewire, FlexRay

Language Translation

EDA software development

We have a strong team of software developers with expertise in core computer science disciplines of compilers, algorithms, data structures and experience in software engineering. We have core expertise in the following :

• Language front-ends : Parsers, Object Models, Transformations
• Compilers : Intermediate Forms, Compiler Optimizations, Assembly/Object code generation
• Translators : Human readable translation, Helper modules for translation
• Simulator Kernels : Event Simulation, Cycle simulation, Mixed Language Kernels
• Simulation Interfaces : Verilog (tf/acc/vpi/dki)
• Assertions : Simulation and Synthesis
• Waveform Databases : dumpvars, dumpports, vpd
• Flow Automation

Software Validation

We leverage our vast experience in software development and software lifecycle management to provide high-quality software validation services. We offer validation in all areas of for EDA tools. We can do both black box testing (from user-spec/LRM) or white box testing (produce comprehensive code coverage statistics). During our software experience, we realized that traditional third-party testing provides limited value since the tests tend to be focused unit tests which highly overlap with the tests created by developers. We build test-suites that do cross-feature testing to expose bugs hidden in the interaction of various language/tool features.

Regression Environments

We create highly structured and user friendly regression environments that are easy to deploy. These environments are created in a modular, object-oriented fashion so that they are easy to extend and modify according to customer requirements. These environments can be used to run developer regressions, nightly regressions and release regressions. They produce very readable reports for different audiences and can be tailored to keep different statistics. They can also be integrated with different LSF/GRID systems.