Hello !

My name is Amit Metodi and welcome to my website.

My main area of intreset is constraint solving in general and SAT solving in particular.
I did M.Sc in Computer Science at Ben Gurion University in this research area (more here).

Now days I am working at

.
And part of the constraint solving team developing constraint solving engines to cadence's tools:

Incisive Specman Elite's random generator, "IntelliGen", which used to generate random solutions with unprecedented distribution control.
Perspec System Verifier which used to generate system-level scenarios.
Incisive Enterprise Simulator's SystemVerilog randomizer engine(s).

(click here to publications and patents).

I also love programming and software development: starting with software design, continue with refactoring to elegant code, and optimizing the code for speed/memory usage.

To see some of the old code I written click here.

My Contact Information

profile: here
EMail: amit (a)

metodi.me