Career Oppurtunity, Companies Related Questions, Formal Verification, Functional Verification 0 Comments

How do we move from given specification  to sign off for hardware  Logic designer writes the specification for given design. Verification engineer goes through the specification provided by logic designer. He/She makes verification plan for the given specification of the logic design. Next step is to develop testbench. After developing testbench , it has to

Read More

Career Oppurtunity, Computer Archtecture 0 Comments

Well computer architecture can be learned by following sites 1 Coursera , a course from priceton university by David Wentzlaff , you can enroll for course. link( : https://www.coursera.org/learn/comparch), click 2 NPTEL , a course from IIT Delhi by Dr. Smruti R. Sarangi  , you can access his contents freely  link (: https://onlinecourses.nptel.ac.in/noc18_cs29/preview) click 3. Youtube, a

Read More

Companies Related Questions, Formal Verification 0 Comments

To become expert in formal domain verification engineer need to know. Let’s go one by one A person who comes from simulation background  , he or she knows, how check is written for a given logic design. Something similar happens in formal verification as well, he or she need to understand how do we write

Read More

Companies Related Questions, Formal Verification 0 Comments

In formal verification there are three type of proof 1. The property is passed it means that the property is unreachable 2. The properties failed, it means the design is not behaving correctly. 3. The properties unsolved, it will it ran for many hours, result is non conclusive. When we talk about unsolved what does

Read More

Companies Related Questions, Formal Verification 0 Comments

There are many formal app which has been developed for different purpose Formal property verification app: It is used for verify the property of any logic. 1.Block level or end-to-end properties 2 interactive debug  what if and constraint setting 3 high performance and capacity Sequential Equivalence Check APP : It is used to verify equivalence check

Read More

Career Oppurtunity, Companies Related Questions, Soc(System on Chip) 0 Comments

Verification is process of ensuring specifications/features  of hardware are matched as per the intend. So to ensure verification of  chip, there are many level of verification  are done Like, IP verification subsystem verification Full System Verification and to do verification there are few methodologies are available like 1 SIMULATION 2 EMULATION 3 FPGA prototype In

Read More

Companies Related Questions, Computer Archtecture 0 Comments

Risc V is open architecture for microprocessor originally developed by University of California, Berkeley. Now there are 100 members who are researching on RISC V and making many more stuff for this architecture. Members comprises of  Bluespec, Inc.; Google; Microsemi; NVIDIA; NXP; University of California, Berkeley; and Western Digital, more  Every year RISCV foundation host global events/conference

Read More