- timing verification
1. верификация синхронизации
2. верификация временных диаграмм;
верификация временных параметров;
верификация временных соотношений (в логической схеме)
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Dynamic timing verification — refers to verifying that an ASIC design is fast enough to run without errors at targeted clock rate. This is accomplished by simulating the design files used to synthesize the Integrated Circuit design. This is in contrast to static timing… … Wikipedia
Independent Verification and Validation Facility — The main entrance to the NASA IV and V facility NASA s Independent Verification and Validation Facility (IV V) was established in 1993 and is located in Fairmont, West Virginia[ … Wikipedia
Open Verification Library — (OVL) is a library of property checkers for digital circuit descriptions written in popular Hardware Description Languages (HDLs). OVL is currently maintained by Accellera. Applications OVL works by placing modules or components checking specific … Wikipedia
Mihalis Yannakakis — Born September 13, 1953 … Wikipedia
Engineering Change Order — (ECO) is used for changes in documents such as processes and work instructions. It may also be used for changes in specifications.ECOs are also called an Engineering Change Note or Engineering Change Notice (ECN) or just engineering change (EC).… … Wikipedia
Simucad — Infobox Company company name = Simucad Design Automation, Inc. company company type = Private Company| foundation = 2004 location = key people = Dr Ivan Pesic, President/CEO Mr Marc Goldberg, Sales Contact industry = Software Programming homepage … Wikipedia
Integrated circuit design — Layout view of a simple CMOS Operational Amplifier ( inputs are to the left and the compensation capacitor is to the right ). The metal layers are colored blue and green, the polysilicon is red and vias are crosses. Integrated circuit design, or… … Wikipedia
Keystroke dynamics — Keystroke dynamics, or typing dynamics, is the detailed timing information that describes exactly when each key was depressed and when it was released as a person is typing at a computer keyboard. Science of Keystroke Dynamics The behavioral… … Wikipedia
Radio-frequency identification — (RFID) is a technology that uses radio waves to transfer data from an electronic tag, called RFID tag or label, attached to an object, through a reader for the purpose of identifying and tracking the object. Some RFID tags can be read from… … Wikipedia
Tests of general relativity — General relativity Introduction Mathematical formulation Resources Fundamental concepts … Wikipedia
Design closure — is the process by which a VLSI design is modified from its initial description to meet a growing list of design constraints and objectives. Every step in the IC design (such as static timing analysis, placement, routing, and so on) is already… … Wikipedia