Logic Equivalence Check | Synopsys Formality Tutorial | RTL-to-GDSII flow | LEC Check

แชร์
ฝัง
  • เผยแพร่เมื่อ 9 พ.ย. 2024

ความคิดเห็น • 8

  • @arunpandiyananbarasu1455
    @arunpandiyananbarasu1455 3 ปีที่แล้ว +4

    sir please upload more videos on formality,we couldnt find any videos for formality anywhere.Please make debug session of formality as well.

  • @gauravsharma-dy7gs
    @gauravsharma-dy7gs 5 ปีที่แล้ว +3

    In this if we got matched complete but have verification fail what to do then?

  • @truptichauhan3634
    @truptichauhan3634 2 ปีที่แล้ว +2

    Good

    • @TeamVLSI
      @TeamVLSI  2 ปีที่แล้ว

      Thanks Trupti.

  • @shatharajupallyvinaykumar82
    @shatharajupallyvinaykumar82 3 ปีที่แล้ว +2

    sir, I have one doubt. In some books, its mentioned like pre synthesis simulation and post synthesis simulation. What does it mean?

    • @ManitRubiks
      @ManitRubiks 3 ปีที่แล้ว +2

      Simulation before synthesis is pre synthesis simulation. Simulation after synthesis is post synthesis simulation. Sometimes, synthesizing the RTL can change the functionality of the design. To check that does not happen post synthesis simulation is required.