Established in 2003 as a high quality verification services company.
We have built a solid verification expertise and reputation among our clients from industries like automotive, telecommunications, and computers and peripherals.
We combine deep knowledge of the hardware design verification domain, languages, methodologies, and tools with extensive project experience to help companies deliver complex designs on time and within budget and infrastructure constraints.
We share our expertise through technical blog articles and conference papers. We believe knowledge sharing helps everybody do their jobs more effectively. It is very useful to find answers when you need them, especially when working to a tight schedule.
We are aware of the educational challenges to keep up the pace with the industry. That's why we sustain the academic efforts, from helping organize university courses to providing internship programs.
Established in 2008 as an EDA software company.
We have encountered three recurring challenges during our consulting work: developing new code to meet tight schedules, understanding legacy or poorly documented code, and getting new engineers up to speed quickly. In the software world, Integrated Development Environments (IDEs) are commonly used to overcome such challenges. At the time, no IDE was available for hardware design and verification specific languages like Verilog, VHDL, e Language or SystemVerilog. In 2005, we seized the opportunity and started to develop an IDE for our internal use, and in 2006 we officially launched the beta version, which received an excellent feedback.
In 2008 AMIQ EDA was founded, as a spin-off from AMIQ Consulting, and we released the DVT Eclipse IDE, the first IDE for design and verification on the market.
The EDA Design & Verification Tools
DVT Eclipse IDEDesign and Verification Tools (DVT) is the first integrated development environment (IDE) for the e language, SystemVerilog, Verilog, Verilog-AMS, and VHDL. The DVT Eclipse IDE is built on the Eclipse Platform and is similar to well-known programming tools like Visual Studio and IntelliJ.
Expert Verification Services
High quality. Cost effective. On time
We combine a deep knowledge of hardware design verification domain, languages, methodologies and tools with extensive project experience to help companies deliver complex designs on time and within budget and infrastructure constraints.
Since the company was established in 2003, we have built up a solid base of expertise in pre-silicon hardware verification and a strong reputation among our clients in the automotive, telecommunications, and computers and peripherals industries. Our core values of passion, responsibility, quality and determination – have guided our growth and the expansion of our service portfolio.
Our consulting services range from functional and system-level verification to training and outsourcing. We provide services either on-site, at the client’s location, or off-site, and we are constantly striving to meet our clients’ communication and cost requirements. When it comes to off-site verification projects, we have the know-how and infrastructure to deliver excellent services while employing the highest security standards.
Functional Verification
We provide ASIC and FPGA functional verification services spanning the entire coverage-driven verification flow from specification to coverage sign-off. Our consultants have the expertise to work on an entirely new verification project from beginning to end, as well as the skills and flexibility to engage with any critical points in your project.
We have extensive experience of all major hardware verification languages (HVLs) such as e-Language and SystemVerilog, and methodologies such as UVM, OVM, VMM, and eRM.
We are proficient in the use of all major EDA vendor tools, such as Cadence Incisive® Enterprise Simulator, the Synopsys VCS® functional verification solution and Mentor’s Questa® Advanced Simulator. We also use the Cadence® Palladium® series of accelerators/emulators, system-level modeling languages such as SystemC and tools like MATLAB®.
The AMIQ team is also able to help you with verification project management and 3rd party EDA vendor communication, including requirements specification and issue handling.
System Level Verification
Due to the very high clock cycle consumption of System Level Verification, the planning and implementation of the verification process needs to be done carefully. The verification process requires in-depth planning, advanced verification skills like object-oriented language programming (SystemVerilog, C++/SystemC) and methodology awareness (UVM), as well as a creative approach to problem solving.
We have the expertise to provide system-level verification services for complex SoCs, involving working with various hardware and software IPs and using specific tools like hardware acceleration and hardware emulation.
Our experience with System Level Verification spans an extensive technical skills matrix, including:
e-Language, SystemVerilog, and C/C++
Simulation and hardware emulation
Directed tests or randomized user cases
Mixing e/SystemVerilog and C/C++ to create self-checking tests
Using e/SystemVerilog or TLM/SC/MATLAB models as a golden model
Designing and implementing the TBA-ready drivers or monitors
Integrating the sub-system verification environment
Elevating coverage definitions from block level to system level
Porting tests from lower integration level to top-level
Porting system level environments to vanilla-versions/derivative SoC
Developing automation tools or debug-effort decreasing tools
We also have experience of System Level Verification management, including:
Verification plan design
Leading verification planning sessions with cross-functional teams to increase the quality of the verification and shorten sign-off time
3rd party vendor communication management
Subsystem verification environment reuse audit
Subsystem coverage reuse
Project Rescue and Ramp-up
We have been successful at rescuing projects that have gone off track. We start by identifying the project bottlenecks. We then define a rescue strategy and implement it. We analyze performance periodically and continue to refine our strategy taking into account all internal and external factors until the project is back on track.
Our ramp-up services include infrastructure setup, template creation, methodology/flow definition and implementation, and resource planning. We can also perform interviews to assist with hiring new team members.
Verification IP Development and Qualification
We can develop verification IPs (VIPs) on demand, for any protocol or function, by using any one of the HVLs (e, SystemVerilog) or assertion languages (SVA, PSL).
Normally, the client provides us with the protocol or function specification and we deliver the code, documentation, suites of tests, regression reports and scripts. The deliverables are prioritized according to client’s requirements and schedule in such a way that the integration work can start before the final release of the VIP.
Furthermore, our consultants can provide VIP integration and maintenance support.
We provide VIP qualification services that aim to ensure a VIP is functionally compliant with the protocol/functional specification, has generation capabilities that cover all required scenarios, contains correct checkers and includes relevant coverage items. We also verify that the architecture and implementation is compliant with a specific methodology, such as UVM.
Training
We provide on-site and off-site training services for a broad range of hardware verification languages and methodologies. The training is delivered by senior consultants with comprehensive experience of working on a range of different projects with top companies.
