Aneesh Raveendran

5 Questions 37 Answers 0 Followers

Questions related from Aneesh Raveendran

What are the different kinds o formal Verification languages and techniques?

I am planning to develop a formal verification tool by my own....Any suggestions for the development langagge

05 May 2015 6,288 1 View

What are the new architecture research in micro-processor design?

While going through research papers I felt that micro-processor architecture is almost saturated. Could any one explain what are the new research happening in micro-processor design

11 November 2014 3,023 0 View

What is the difference between pipeline depth and pipeline stages?

07 July 2014 5,347 4 View

Which is the best language for quantum logic design? And also available on Windows?

Quantum logic design requires special languages with a different libraries.

05 May 2014 7,751 2 View

How to verify a processor RTL?

Verification of a microprocessor.

03 March 2014 2,286 1 View