Bước đầu tiên trong hỗ trợ kỹ thuật tĩnh cấp bóng bán dẫn là để phân vùng các mạch vào dc thành phần kết nối (DCCs), cũng được gọi là kênh kết nối các thành phần. DCC là một tập hợp của các nút được kết nối với nhau thông qua các thiết bị đầu cuối nguồn và cống của đại diện bóng bán dẫn cấp transistors. | 9-14 Memory Microprocessor and ASIC Full-Chip Configuration In this phase the design netlists and libraries are combined with control and specification files and downloaded to program the emulation hardware. In the first stage of configuration the netlists are parsed for semantic analysis and logic The design is then partitioned into a number of logic board modules LBMs in order to satisfy the logic and pin constraints of each LBM. The logic assigned to each LBM is flattened checked for timing and connectivity and further partitioned into clusters to allow the mapping of each cluster to an individual Finally the interconnections between the LBMs are established and the design is downloaded to the emulator. Testbed and In-circuit Emulation The testbed is the hardware environment in which the design to be emulated will finally operate. This consists of the target ICE board logic analyzer and supporting laboratory The target ICE board contains PROM sockets I O ports and headers for the logic analyzer probes. Verification takes place in two modes the simulation mode and ICE. In the simulation mode the emulator is operated as a fast simulator. Software is used to simulate the bus master and other hardware devices and the entire simulation test suite is run to validate the emulation An external monitor and logic analyzer are used to study results at internal nodes and determine success. In the ICE mode the emulator pins are connected to the actual hardware application environment. Initially diagnostic tests are run to verify the hardware interface. Finally application software provides the emulation model with billions of vectors for high-speed functional verification. In Section we conclude our discussion on design verification and review some of the areas of current research. Conclusion Microprocessor design teams use a combination of simulation and formal verification to verify presilicon designs. .
