- Galois (Portland, OR)
- …micro-architectures. Must have hands-on experience developing systems and applying formal verification techniques. Knowledge of hardware engineering ... real world. Core to this is the application of formal analysis techniques that allow systems to... formal methods expertise to perform research on hardware verification challenges. Hardware assurance… more
- Amazon (Portland, OR)
- …STA, IR Drop aware STA) into SoC timing signoff flow. * Work for Systems and Architecture, SoC Integration, Verification , DFT, Mixed Signal, IP owners, ... or related field * Experience with memory compiler * Experience with formal equivalence - Cadence Conformal/Synopsys Formality * Have in depth knowledge of… more
