Individual Services

Edna has a full suite of engineering design services which we can supply individually to meet your needs.

• ESL coding for synthesis
• RTL coding for synthesis
  
  
• Synthesis
• Static Timing Analysis (STA)
• Equivalency checking
• Verification ie. does the product conform to the specifications.
  • Dynamic Verification (Simulation)
    • SPICE analysis
    • HDL simulation
    • ESL simulation
  • Formal Verification (FV)
• Validation: "Are we building the right product?",
  i.e., does the product do what the user really requires.
  • FPGA Validation
• Manufacturing Test and in-system diagnostics
  • Design For Test (DFT) : test methods and architectures.
  • In-System Diagnostics
  • Test structure implementation
  • Test vector generation