Looking for paper on BDD and its use in simulation/synthesis

Similar threads

• A

  [SOLVED] Using SRAM Macro for simulation and synthesis

  • Started by abhishektyagi
  • Jun 5, 2023
  • Replies: 3

  ASIC Design Methodologies and Tools (Digital)
• S

  How should I use my self-designed TPG circuit to input test patterns into the test circuit of iscas89 and test its fault coverage in tetramax?

  • Started by sicetn
  • Dec 18, 2023
  • Replies: 0

  ASIC Design Methodologies and Tools (Digital)
• C

  Hierarchical synthesis vs flatten synthesis

  • Started by chevuturi
  • Jan 5, 2024
  • Replies: 6

  ASIC Design Methodologies and Tools (Digital)
• C

  [SOLVED] Where is peak power on Dhrystone Gate Level Simulation?

  • Started by coshy
  • Mar 7, 2024
  • Replies: 0

  ASIC Design Methodologies and Tools (Digital)
• T

  Preverify in Formality. When to use it?

  • Started by TonyLS
  • Mar 21, 2024
  • Replies: 1

  ASIC Design Methodologies and Tools (Digital)