Header menu link for other important links
X
Modeling Techniques for Faster Verification of a Time to Digital Converter System-on-Chip Design
Published in Institute of Electrical and Electronics Engineers Inc.
2019
Pages: 1 - 6
Abstract
In this paper, we present the modeling techniques used for faster simulation and verification of a time to digital converter (TDC) IC, designed for India-based Neutrino Observatory. The mixed signal implementation of the TDC necessitates rigorous verification of the interaction between the digital and analog blocks. The paper discusses how the major analog circuits were reduced to logic level models in Verilog while retaining the required accuracy for faster top-level simulations. In order to facilitate quicker verification of the simulation results, a behavioral-level TDC model which has minimal common algorithm with the implemented system is developed. This model is used within self-checking testbenches to create a reference against which simulation results are validated. These modeling techniques enabled the automation of the verification process, thereby reducing the design verification time significantly. The simulation and verification of 600 test cases were completed in less than 9 hours, whereas the mixed signal simulation for a single test case would have taken several days to complete. © 2019 IEEE.
Concepts (15)
  •  related image
    Application specific integrated circuits
  •  related image
    Computer aided software engineering
  •  related image
    Integrated circuit design
  •  related image
    Mos devices
  •  related image
    Signal processing
  •  related image
    System-on-chip
  •  related image
    ANALOG BLOCKS
  •  related image
    BEHAVIORAL LEVEL
  •  related image
    Design verification
  •  related image
    India-based neutrino observatories
  •  related image
    Mixed-signal simulation
  •  related image
    Modeling technique
  •  related image
    TIME TO DIGITAL CONVERTERS
  •  related image
    VERIFICATION PROCESS
  •  related image
    Frequency converters