Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

Recent content by optronic

  1. O

    The relation between assertions and Formal Verification

    Re: SVA Hi, with Formality you make an equvalence check: Netlist against RTL, based on formal methods, no assertion here. The other think is called Static or Dynamic Formal Verification, and here you need to define assertions (based on properties) that these tools try to formally proove for...
  2. O

    xilinx xcv3200e always resets reset

    Hi, this migth be caused by an instable power supply, when the fpga takes too much current. I had this problem in the past.
See more

Part and Inventory Search

Back
Top