Patent application title:

Electronic system with multi-cycle simulation coverage mechanism and method of operation thereof

Publication number:

-

Publication date:
Application number:

14/182,628

Filed date:

2014-02-18

✅ Patent granted

Patent number:

US 9,021,410 B1

Grant date:

2015-04-28

PCT filing:

-

PCT publication:

-

Examiner:

Vuthe Siek | Mohammed Alam

Adjusted expiration:

2034-02-18

Smart Summary: An electronic system is designed to improve the reliability of device designs used in modern gadgets like computers and smartphones. It includes a storage unit that holds the design and a control unit that analyzes it for potential issues over multiple cycles. This control unit creates a profile to identify any exceptions and generates a checker to test the design during simulations. The goal is to ensure that these electronic devices function well and meet consumer expectations. Overall, this system aims to enhance the design process while reducing costs and improving performance in a competitive market. 🚀 TL;DR

Abstract:

An apparatus includes: a storage unit configured to provide a device design; a control unit configured to analyze the device design for a multi-cycle exception, generate a multi-cycle exception profile, and generate a checker based on the multi-cycle exception profile for a test bench for a simulation version of the device design.

Inventors:

Assignee:

Applicant:

Interested in similar patents?

Get notified when new applications in this technology area are published.

Classification:

Description

CROSS-REFERENCE TO RELATED APPLICATION

This application claims the benefit of U.S. Provisional Patent Application Ser. No. 61/914,077, filed Dec. 10, 2013, and the subject matter thereof is incorporated herein by reference thereto.

TECHNICAL FIELD

An embodiment relates generally to an electronic system, and more particularly to a system for simulation involving multi-cycle paths.

BACKGROUND

Modern consumer and industrial electronic devices require reliable operation of devices within them. These devices can be electronic systems, such as notebook computers, desktop computers, smartphones, servers, televisions, and projectors, and are providing increasing levels of functionality to support modern life.

The functionality and reliability of these devices depend and the reliability and design of the circuits performing the functions for these devices. Research and development in the existing technologies can take a myriad of different directions to increase reliability.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 is an electronic system as an embodiment.

FIG. 2 is a block diagram for a portion of a device.

FIG. 3 is an example timing diagram of the block diagram of FIG. 2.

FIG. 4 is an example block diagram of the electronic system as an embodiment.

FIG. 5 is a control flow of an embodiment of the electronic system.

FIG. 6 is a flow chart of a method of operation of an electronic system in an embodiment.

DETAILED DESCRIPTION

A need still remains for an electronic system with multi-cycle simulation coverage mechanism for providing a robust device design. In view of the ever-increasing commercial competitive pressures, along with growing consumer expectations and the diminishing opportunities for meaningful product differentiation in the marketplace, it is increasingly critical that answers be found to these problems. Additionally, the need to reduce costs, improve efficiencies and performance, and meet competitive pressures adds an even greater urgency to the critical necessity for finding answers to these problems.

Solutions to these problems have been long sought but prior developments have not taught or suggested any solutions and, thus, solutions to these problems have long eluded those skilled in the art.

Certain embodiments have other steps or elements in addition to or in place of those mentioned above. The steps or elements will become apparent to those skilled in the art from a reading of the following detailed description when taken with reference to the accompanying drawings.

The following embodiments are described in sufficient detail to enable those skilled in the art to make and use the embodiment. It is to be understood that other embodiments would be evident based on the present disclosure, and that system, process, or mechanical changes may be made without departing from the scope of an embodiment.

In the following description, numerous specific details are given to provide a thorough understanding of the embodiment. However, it will be apparent that the embodiment can be practiced without these specific details. In order to avoid obscuring an embodiment, some well-known circuits, system configurations, and process steps are not disclosed in detail.

The drawings showing embodiments of the system are semi-diagrammatic, and not to scale and, particularly, some of the dimensions are for the clarity of presentation and are shown exaggerated in the drawing figures. Similarly, although the views in the drawings for ease of description generally show similar orientations, this depiction in the figures is arbitrary for the most part. Generally, the embodiment can be operated in any orientation. The embodiments have been numbered first embodiment, second embodiment, etc. as a matter of descriptive convenience and are not intended to have any other significance or provide limitations for an embodiment.

The term “module” referred to herein can include software, hardware, or a combination thereof in an embodiment in accordance with the context in which the term is used. For example, the software can be machine code, firmware, embedded code, and application software. Also for example, the hardware can be circuitry, processor, computer, integrated circuit, integrated circuit cores, a pressure sensor, an inertial sensor, a microelectromechanical system (MEMS), passive devices, or a combination thereof.

Referring now to FIG. 1, therein is shown an electronic system 100 with multi-cycle coverage mechanism in an embodiment of the present invention. The electronic system 100 can represent an apparatus for the embodiment. An embodiment of the electronic system 100 includes a first device 102, such as a client or a server, connected to a second device 106, such as a client or server. The first device 102 can communicate with the second device 106 with a communication path 104, such as a wireless or wired network. Embodiments of the electronic system 100 can operate the modules described in FIG. 5 within the first device 102, the second device 106, the communication path 104, or a combination thereof.

For example, the first device 102 can be of a variety of devices, such as a computer terminal, a workstation, a desktop computer, a notebook computer, a computer tablet, or a smartphone. The first device 102 can couple, either directly or indirectly, to the communication path 104 to communicate with the second device 106 or can be a stand-alone device.

For illustrative purposes, the electronic system 100 is described with the first device 102 as a client device, although it is understood that the first device 102 can be different types of devices. For example, the first device 102 can also be a server or computer blade.

The second device 106 can be any of a variety of centralized or decentralized computing devices. For example, the second device 106 can be a laptop computer, a desktop computer, grid-computing resources, a virtualized computer resource, cloud computing resource, routers, switches, peer-to-peer distributed computing devices, or a combination thereof.

The second device 106 can be centralized in a single room, distributed across different rooms, distributed across different geographical locations, embedded within a telecommunications network. The second device 106 can couple with the communication path 104 to communicate with the first device 102.

For illustrative purposes, the electronic system 100 is described with the second device 106 as a computing device, although it is understood that the second device 106 can be different types of devices. Also for illustrative purposes, the electronic system 100 is shown with the second device 106 and the first device 102 as end points of the communication path 104, although it is understood that the electronic system 100 can have a different partition between the first device 102, the second device 106, and the communication path 104. For example, the first device 102, the second device 106, or a combination thereof can also function as part of the communication path 104.

The communication path 104 can span and represent a variety of networks and network topologies. For example, the communication path 104 can include wireless communication, wired communication, optical, ultrasonic, or the combination thereof. Satellite communication, cellular communication, Bluetooth, Infrared Data Association standard (lrDA), wireless fidelity (WiFi), and worldwide interoperability for microwave access (WiMAX) are examples of wireless communication that can be included in the communication path 104. Ethernet, digital subscriber line (DSL), fiber to the home (FTTH), and plain old telephone service (POTS) are examples of wired communication that can be included in the communication path 104. Further, the communication path 104 can traverse a number of network topologies and distances. For example, the communication path 104 can include direct connection, personal area network (PAN), local area network (LAN), metropolitan area network (MAN), wide area network (WAN), or a combination thereof.

Referring now to FIG. 2, therein is shown a block diagram for a portion of a device 202. An embodiment of the electronic system 100 can operate with a representation of the device 202. The device 202 is a component or a product being tested and verified with the electronic system 100. As examples, the device 202 can be an integrated circuit chip, an ASIC, a microprocessor, an optical device, or a combination thereof.

As an example, FIG. 2 depicts design blocks 204 as part of the device 202. Each of the design blocks 204 represents a functional or hierarchical partition for a portion of the device 202. The partition of the design blocks 204 can be an abstraction not reflecting the actual physical partition within the device 202 or it can also represent the actual physical partition within the device 202. As examples, the design blocks 204 can represent functional blocks, design cores, hard macros, or a combination thereof in a hierarchy of the device 202.

The design blocks 204 can include source blocks 206 communicating to destination blocks 208. In this example, one of the source blocks 206 sends information or signals to at least one of the destination blocks 208.

The source blocks 206 are not limited to sending information or signals and can receive information or signals. Similarly, the destination blocks 208 are not limited to receiving information or signals and can send information or signals. The terms “source” and “destination” used in this application are for clarity and brevity for the description of the example depicted in FIG. 2 are not intended to be limiting the functionality or the directionality.

Continuing with the example, each of the source blocks 206 and the destination blocks 208 can have a source element 210 and a destination element 212, respectively. The source element 210 is an active circuit that provides a source output 214 from the source blocks 206. The destination element 212 is an active circuit receiving the information or signals into the destination blocks 208. The destination element 212 can also provide a destination output 216. Examples of the source element 210, the destination element 212, or a combination thereof can be a register, a flip-flop, a transistor, or a combination thereof.

A path 218 is the connection between the source element 210 and the destination element 212. The path 218 can include passive interconnects 220 or can also include active circuits 222. For example, the passive interconnects 220 can be routing, such as polysilicon, copper, tungsten, between active circuits. The path 218 can also include, as examples, the active circuits 222, such as logic gates, repeater circuits, buffer circuits, or a combination thereof.

Each of the source blocks 206, the destination blocks 208, or a combination thereof can represent different domains 224 within the device 202. For example, the device 202 can include the source blocks 206 in one clock domain running off a source clock 226 and the destination blocks 208 in a different clock domain running off a destination clock 228. In this example, the source clock 226 can clock the outputs from the source element 210 while the destination clock 228 can clock the inputs into the destination element 212.

As examples, the source blocks 206 can include different clocks from one another and within each. The destination blocks 208 can also include different clocks from one another and within each.

The source element 210, the destination element 212, or a combination thereof in the source blocks 206, the destination blocks 208, or a combination thereof can also be connected to an operational reset 230. The operational reset 230 can be used to reset the device 202 including the source blocks 206 and the destination blocks 208. The operational reset 230 can be a power-on reset, other forms of hard reset, or a soft reset for the device 202 or some of the design blocks 204.

For illustrative purposes, the device 202 is described with the operational reset 230, the source clock 226, and the destination clock 228 as a singular signal, although it is understood that other embodiments can have a different number of resets and clocks. For example, different resets or clocks can go to the each of the source blocks 206, the destination blocks 208, or a combination thereof differently than the other blocks.

The source element 210, the destination element 212, or a combination thereof can also include inputs for enable signals 232. The enable signals 232 can function similarly to a gated clock, which generates a non-clock signal.

Referring now to FIG. 3, therein is shown an example timing diagram of the block diagram of FIG. 2. The timing diagram depicts the source clock 226 followed by the destination clock 228, the source output 214, and the destination output 216. In this example, the destination clock 228 has a relationship with the source clock 226 where the destination clock 228 is shown as half the frequency of the source clock 226.

For illustrative purposes, the device 202 of FIG. 2 is described with the destination clock 228 having particular relationship with the source clock 226, although it is understood that the relationship can be different. For example, the destination clock 228 and the source clock 226 can be non-integer multiples of one another. Also for example, the destination clock 228 can have a faster frequency than the source clock 226.

The timing diagram also depicts a multi-cycle exception 302 between the domains 224 of FIG. 2. In this example, the multi-cycle exception 302 is a multi-cycle clock exception 304 where the source output 214 is supposed to change at multiple cycles of the source clock 226 and not every single cycle, for example at every raising edge of the source clock 226. FIG. 3 depicts that multi-cycle clock exception 304 is two clock cycles of the source clock 226, allowing for the source output 214 to remain stable such that the destination clock 228 can clock that source output 214 and reflect that new input to the destination element 212 of FIG. 2 onto the destination output 216.

A correct function of the source blocks 206 of FIG. 2 and the destination blocks 208 of FIG. 2 is depicted with the solid arrows from the source clock 226 and the source output 214 to the next transition depicted on the destination output 216. In a violation 306 of the multi-cycle exception 302, or as a more specific example the multi-cycle clock exception 304, the source output 214 is changing at the next clock cycle of the source clock 226, as depicted by the dashed transition on the source output 214. The violation 306 causes the destination element 212 to input the incorrect information and input the source output 214, which violated the multi-cycle exception 302, and this is depicted with a dashed arrow from the source output 214 to the destination output 216.

Referring now to FIG. 4, therein is shown an example block diagram of the electronic system 100 as an embodiment. The electronic system 100 can include the first device 102, the communication path 104, and the second device 106. The first device 102 can send information in a first device transmission 408 over the communication path 104 to the second device 106. The second device 106 can send information in a second device transmission 410 over the communication path 104 to the first device 102.

For illustrative purposes, the electronic system 100 is shown with the first device 102 as a client device, although it is understood that the electronic system 100 can have the first device 102 as a different type of device. For example, the first device 102 can be a server having a display interface.

Also for illustrative purposes, the electronic system 100 is shown with the second device 106 as a server, although it is understood that the electronic system 100 can have the second device 106 as a different type of device. For example, the second device 106 can be a client device.

For brevity of description in embodiments, the first device 102 will be described as a client device and the second device 106 will be described as a server device. Embodiments are not limited to this selection for the type of devices and are examples of the embodiments.

The first device 102 can include a first control unit 412, a first storage unit 414, a first communication unit 416, and a first user interface 418. The first control unit 412 can include a first control interface 422. The first control unit 412 can execute a first software 426 to provide the intelligence of the electronic system 100.

The first control unit 412 can be implemented in a number of different manners. For example, the first control unit 412 can be a processor, an application specific integrated circuit (ASIC) an embedded processor, a microprocessor, a hardware control logic, a hardware finite state machine (FSM), a digital signal processor (DSP), or a combination thereof. The first control interface 422 can be used for communication between the first control unit 412 and other functional units in the first device 102. The first control interface 422 can also be used for communication that is external to the first device 102.

The first control interface 422 can receive information from the other functional units or from external sources, or can transmit information to the other functional units or to external destinations. The external sources and the external destinations refer to sources and destinations external to the first device 102.

The first control interface 422 can be implemented in different ways and can include different implementations depending on which functional units or external units are being interfaced with the first control interface 422. For example, the first control interface 422 can be implemented with a microelectromechanical system (MEMS), optical circuitry, waveguides, wireless circuitry, wireline circuitry, or a combination thereof.

The first storage unit 414 can store the first software 426. The first storage unit 414 can also store the relevant information, such as data representing incoming images, data representing previously presented image, sound files, or a combination thereof.

The first storage unit 414 can be a volatile memory, a nonvolatile memory, an internal memory, an external memory, or a combination thereof. For example, the first storage unit 414 can be a nonvolatile storage such as non-volatile random access memory (NVRAM), Flash memory, disk storage, or a volatile storage such as static random access memory (SRAM).

The first storage unit 414 can include a first storage interface 424. The first storage interface 424 can be used for communication between and other functional units in the first device 102. The first storage interface 424 can also be used for communication that is external to the first device 102.

The first storage interface 424 can receive information from the other functional units or from external sources, or can transmit information to the other functional units or to external destinations. The external sources and the external destinations refer to sources and destinations external to the first device 102.

The first storage interface 424 can include different implementations depending on which functional units or external units are being interfaced with the first storage unit 414. The first storage interface 424 can be implemented with technologies and techniques similar to the implementation of the first control interface 422.

The first communication unit 416 can enable external communication to and from the first device 102. For example, the first communication unit 416 can permit the first device 102 to communicate with the second device 106 of FIG. 1, an attachment, such as a peripheral device or a computer desktop, and the communication path 104.

The first communication unit 416 can also function as a communication hub allowing the first device 102 to function as part of the communication path 104 and not limited to be an end point or terminal unit to the communication path 104. The first communication unit 416 can include active and passive components, such as microelectronics or an antenna, for interaction with the communication path 104.

The first communication unit 416 can include a first communication interface 428. The first communication interface 428 can be used for communication between the first communication unit 416 and other functional units in the first device 102. The first communication interface 428 can receive information from the other functional units or can transmit information to the other functional units.

The first communication interface 428 can include different implementations depending on which functional units are being interfaced with the first communication unit 416. The first communication interface 428 can be implemented with technologies and techniques similar to the implementation of the first control interface 422.

The first user interface 418 allows a user (not shown) to interface and interact with the first device 102. The first user interface 418 can include an input device and an output device. Examples of the input device of the first user interface 418 can include a keypad, a touchpad, soft-keys, a keyboard, a microphone, an infrared sensor for receiving remote signals, or any combination thereof to provide data and communication inputs.

The first user interface 418 can include a first display interface 430. The first display interface 430 can include a display, a projector, a video screen, a speaker, or any combination thereof.

The first control unit 412 can operate the first user interface 418 to display information generated by the electronic system 100. The first control unit 412 can also execute the first software 426 for the other functions of the electronic system 100. The first control unit 412 can further execute the first software 426 for interaction with the communication path 104 via the first communication unit 416.

The second device 106 can be optimized for implementing an embodiment of the present invention in a multiple device embodiment with the first device 102. The second device 106 can provide the additional or higher performance processing power compared to the first device 102. The second device 106 can include a second control unit 434, a second communication unit 436, and a second user interface 438.

The second user interface 438 allows a user (not shown) to interface and interact with the second device 106. The second user interface 438 can include an input device and an output device. Examples of the input device of the second user interface 438 can include a keypad, a touchpad, soft-keys, a keyboard, a microphone, or any combination thereof to provide data and communication inputs. Examples of the output device of the second user interface 438 can include a second display interface 440. The second display interface 440 can include a display, a projector, a video screen, a speaker, or any combination thereof.

The second control unit 434 can execute a second software 442 to provide the intelligence of the second device 106 of the electronic system 100. The second software 442 can operate in conjunction with the first software 426. The second control unit 434 can provide additional performance compared to the first control unit 412.

The second control unit 434 can operate the second user interface 438 to display information. The second control unit 434 can also execute the second software 442 for the other functions of the electronic system 100, including operating the second communication unit 436 to communicate with the first device 102 over the communication path 104.

The second control unit 434 can be implemented in a number of different manners. For example, the second control unit 434 can be a processor, an embedded processor, a microprocessor, hardware control logic, a hardware finite state machine (FSM), a digital signal processor (DSP), or a combination thereof.

The second control unit 434 can include a second controller interface 444. The second controller interface 444 can be used for communication between the second control unit 434 and other functional units in the second device 106. The second controller interface 444 can also be used for communication that is external to the second device 106.

The second controller interface 444 can receive information from the other functional units or from external sources, or can transmit information to the other functional units or to external destinations. The external sources and the external destinations refer to sources and destinations external to the second device 106.

The second controller interface 444 can be implemented in different ways and can include different implementations depending on which functional units or external units are being interfaced with the second controller interface 444. For example, the second controller interface 444 can be implemented with a pressure sensor, an inertial sensor, a microelectromechanical system (MEMS), optical circuitry, waveguides, wireless circuitry, wireline circuitry, or a combination thereof.

A second storage unit 446 can store the second software 442. The second storage unit 446 can also store the such as data representing incoming images, data representing previously presented image, sound files, or a combination thereof. The second storage unit 446 can be sized to provide the additional storage capacity to supplement the first storage unit 414.

For illustrative purposes, the second storage unit 446 is shown as a single element, although it is understood that the second storage unit 446 can be a distribution of storage elements. Also for illustrative purposes, the electronic system 100 is shown with the second storage unit 446 as a single hierarchy storage system, although it is understood that the electronic system 100 can have the second storage unit 446 in a different configuration. For example, the second storage unit 446 can be formed with different storage technologies forming a memory hierarchal system including different levels of caching, main memory, rotating media, or off-line storage.

The second storage unit 446 can be a volatile memory, a nonvolatile memory, an internal memory, an external memory, or a combination thereof. For example, the second storage unit 446 can be a nonvolatile storage such as non-volatile random access memory (NVRAM), Flash memory, disk storage, or a volatile storage such as static random access memory (SRAM).

The second storage unit 446 can include a second storage interface 448. The second storage interface 448 can be used for communication between other functional units in the second device 106. The second storage interface 448 can also be used for communication that is external to the second device 106.

The second storage interface 448 can receive information from the other functional units or from external sources, or can transmit information to the other functional units or to external destinations. The external sources and the external destinations refer to sources and destinations external to the second device 106.

The second storage interface 448 can include different implementations depending on which functional units or external units are being interfaced with the second storage unit 446. The second storage interface 448 can be implemented with technologies and techniques similar to the implementation of the second controller interface 444.

The second communication unit 436 can enable external communication to and from the second device 106. For example, the second communication unit 436 can permit the second device 106 to communicate with the first device 102 over the communication path 104.

The second communication unit 436 can also function as a communication hub allowing the second device 106 to function as part of the communication path 104 and not limited to be an end point or terminal unit to the communication path 104. The second communication unit 436 can include active and passive components, such as microelectronics or an antenna, for interaction with the communication path 104.

The second communication unit 436 can include a second communication interface 450. The second communication interface 450 can be used for communication between the second communication unit 436 and other functional units in the second device 106. The second communication interface 450 can receive information from the other functional units or can transmit information to the other functional units.

The second communication interface 450 can include different implementations depending on which functional units are being interfaced with the second communication unit 436. The second communication interface 450 can be implemented with technologies and techniques similar to the implementation of the second controller interface 444.

The first communication unit 416 can couple with the communication path 104 to send information to the second device 106 in the first device transmission 408. The second device 106 can receive information in the second communication unit 436 from the first device transmission 408 of the communication path 104.

The second communication unit 436 can couple with the communication path 104 to send information to the first device 102 in the second device transmission 410. The first device 102 can receive information in the first communication unit 416 from the second device transmission 410 of the communication path 104. The electronic system 100 can be executed by the first control unit 412, the second control unit 434, or a combination thereof. For illustrative purposes, the second device 106 is shown with the partition having the second user interface 438, the second storage unit 446, the second control unit 434, and the second communication unit 436, although it is understood that the second device 106 can have a different partition. For example, the second software 442 can be partitioned differently such that some or all of its function can be in the second control unit 434 and the second communication unit 436. Also, the second device 106 can include other functional units not shown in FIG. 4 for clarity.

The functional units in the first device 102 can work individually and independently of the other functional units. The first device 102 can work individually and independently from the second device 106 and the communication path 104.

The functional units in the second device 106 can work individually and independently of the other functional units. The second device 106 can work individually and independently from the first device 102 and the communication path 104.

For illustrative purposes, the electronic system 100 is described by operation of the first device 102 and the second device 106. It is understood that the first device 102 and the second device 106 can operate any of the modules and functions of the electronic system 100. As a more specific example, the first control unit 412, the second control unit 434, or a combination thereof can execute the modules described in FIG. 5 as part of the first software 426, the second software 442, or a combination thereof.

Referring now to FIG. 5, therein is shown a control flow of an embodiment of the electronic system 100. As an example, the control flow depicts a high level simulation module 502, a synthesis module 504, a non-high level simulation module 506, an analysis module 508, an exception module 510, a checker generation module 512, and a test bench 514.

The high level simulation module 502 provides the capability to run verification simulations for the device 202 of FIG. 2. The first storage unit 414 of FIG. 4, the second storage unit 446 of FIG. 4, or a combination thereof can provide a device design 516 as a representation of the device 202. The high level simulation module 502 operates with a simulation version 518 of the device design 516. The simulation version 518 is a representation of the device design 516 where the high level simulation module 502 can read, interpret, and run verification simulations to validate the functionality of the device design 516.

The simulation version 518 can be represented as a high level description language design 520 where the device design 516 is captured in or represented with a high-level description language (HDL), such as Verilog, Very high speed integrated circuit Hardware Description Language (VHDL), Analog Hardware Description Language (AHDL), or a combination thereof. As a more specific example, the high level description language design 520 can be represented with a register transfer language (RTL). Examples of the high level simulation module 502 can be a Verilog simulation tool, a VHDL simulation tool, an AHDL simulation tool, or a combination thereof. The flow can progress from the high level simulation module 502 to the synthesis module 504.

The synthesis module 504 converts the device design 516 to a non-high level description language design 522 from the high level description language design 520. The non-high level description language design 522 differs from the high level description language design 520 in that the non-high level version provides less abstraction for functionality and provides additional physical details of how the device design 516 will be implemented physically. For example, the non-high level description language design 522 can be represented by a Spice deck, a gate level netlist, or other functional models with timing information for the design blocks 204 of FIG. 2, including the source blocks 206 of FIG. 2 or the destination blocks 208 of FIG. 2.

The synthesis module 504 can convert the device design 516 to the non-high level description language design 522 in a number of ways. For example, the synthesis module 504 can utilize technology files to help map the high level description language design 520 to the non-high level description language design 522. The technology files can include circuits, logic gates, memory, functional macros, or a combination thereof and associated timing for these circuits for a target design or process node for the device design 516. The technology files can also represent a generic mapping into circuits and gate without being tied to a specific process node or library. The technology files can also include estimated routing information, such as timing, load, delays, lengths, where the routing information can be used to model the interconnects between the circuit elements in the non-high level description language design 522. The non-high level description language design 522 can also represent the simulation version 518 for the device design 516.

The flow can progress with a number of directions. For example, the flow can progress from the synthesis module 504 to the non-high level simulation module 506. The flow can also progress to the analysis module 508.

The non-high level simulation module 506 provides the capability to run verification simulations for the device 202 using the simulation version 518 as the non-high level description language design 522. The non-high level simulation module 506 can also utilize technology files modeling at least some details of the physical implementations. The details can be similar to the details found in the technology files used by the synthesis module 504 but the files can be different. The additional details often require more computing resources from the electronic system 100 to run the non-high level simulation on the non-high level description language design 522. The flow can progress from the non-high level simulation module 506 to other functions (not shown for brevity) to prepare the device design 516 for fabrication to a physical implementation of the device 202.

Continuing now with the analysis module 508, this module determines whether the device design 516 includes the multi-cycle exception 302 of FIG. 3. The analysis module 508 can identify different types of the multi-cycle exception 302.

For example, the analysis module 508 can identify the multi-cycle clock exception 304 of FIG. 3. As a further example, the analysis module 508 can identify multi-cycle exception 302 for non-clock signals used as an input to the clock input of the source element 210 of FIG. 2, the destination element 212 of FIG. 2, or a combination thereof.

A clock signal typically provides a free running signal at a fixed frequency or period during normal operation of the device 202. A non-clock signal will be non-free running, varying frequency or period, or a combination thereof during normal operation of the device 202. The non-clock signal can be a gated clock signal where the gating can be done by an enable signal, as an example, and not considered as part of a clock distribution scheme or mechanism for the device 202 or the device design 516.

The analysis module 508 can identify the multi-cycle exception 302 based on the enable signals 232 of FIG. 2 to the source element 210, the destination element 212, or a combination thereof. The enable signals 232 to the source element 210 or the destination element 212 allow for only clock signals to be tied to the clock input while still prohibiting or allowing the functionality of the source element 210 or the destination element 212.

The analysis module 508 can determine the multi-cycle exception 302 in a number ways and can depend on the type of the multi-cycle exception 302. For example, for the multi-cycle clock exception 304, the analysis module 508 searches whether the domains 224 exists in the device design 516 by searching whether different signals are tied the clock input to specified elements or serve as a clock.

If the analysis module 508 operates with the simulation version 518 as the non-high level description language design 522, the analysis module 508 can identify which signals are tied to the clock input of flip-flops, such as the source element 210 or the destination element 212 shown in FIG. 2. As a more general description, the technology files used by the synthesis module 504, the non-high level simulation module 506, or a combination thereof can include circuit elements with attributes associated with terminals to each of the circuit elements. The attributes can be used to identify clock input terminals for each of the circuit elements.

If the clock signals differ between the source blocks 206 of FIG. 2 or the destination blocks 208 of FIG. 2, then the analysis module 508 determines that the device design 516 includes the domains 224 with different clocks or clock domains. The determination of different clocks can differentiate simple buffering of clock signals and clock distribution within the device design 516 versus a divide of a clock frequency, a phase shift, or an asynchronous clock, as examples.

If the analysis module 508 operates with the simulation version 518 as the high-level description language design 526, the analysis module 508 can identify which signals are structurally coded to function as a clock signal. The identification can be made by searching for the syntax and structure of the HDL. As an example, the high level description language design 520 coded in Verilog can include code structure and syntax as: “always@(posedge clk) . . . ” where the “always” can be interpreted as a continuing running function during a Verilog simulation and the invocation of the functionality is at (“@”), a positive edge (“posedge”) of a clock (“clk”). The “clk” in this example can be the source clock 226 of FIG. 2 or the destination clock 228 of FIG. 2.

The analysis module 508 can use a similar approach to identify non-clock signals or enable signals as the multi-cycle exception 302. This identification can be done with either the non-high level description language design 522 or the high level description language design 520.

Whether the analysis module 508 operates on either of the simulation version 518 for the device design 516, the analysis module 508 can identify clocks, the domains 224, and the multi-cycle exception 302 with a vectorless approach. In other words, the determination is not dependent on the simulation vectors being ran with the high level simulation module 502 or the non-high level simulation module 506. The analysis module 508 can also perform static timing analysis. The flow can progress from the analysis module 508 to the exception module 510.

The exception module 510 generates a multi-cycle exception profile 528 for the device design 516. The exception module 510 receives the multi-cycle exception 302 identified by the analysis module 508. The exception module 510 can provide different categories for the multi-cycle exception 302 in the multi-cycle exception profile 528 including the multi-cycle clock exception 304 for clock signals, such as the source clock 226 of FIG. 2 or the destination clock 228 of FIG. 2, non-clock signals, and enable signals.

For illustrative purposes, the flow is depicted as sequential and linear flowing from the analysis module 508 to the exception module 510, although it is understood that additional embodiments can operate differently. For example, the analysis module 508 and the exception module 510 can iterate and loop back between each other while the analysis module 508 identifies each of the multi-cycle exception 302 or for each category.

The exception module 510 identifies the source element 210 from the source blocks 206 and the corresponding destination element 212 in the destination blocks 208. This identification is done for each type of the multi-cycle exception 302 whether for the multi-cycle clock exception 304 for clock signals or non-clock signals as well as for enable signals. The flow can progress from the exception module 510 to the checker generation module 512.

The checker generation module 512 generates checkers 530 to be used during verification simulations of the device design 516. The checker generation module 512 can generate the checkers 530 for the test bench 514. The checkers 530 can be based on the simulation version 518 and the type of simulation.

For example, if the simulation version 518 is for the non-high level description language design 522, then the checker generation module 512 can generate the checkers 530 with the appropriate syntax, element name, and hierarchy to identify the appropriate pair including the source element 210 and the destination element 212. Similarly, if the simulation version 518 is for the high level description language design 520, then the checker generation module 512 can generate the checkers 530 also with appropriate syntax, variable name, and hierarchy to identify the appropriate pair including the source element 210 and the destination element 212.

The checkers 530, in the appropriate form, as well as the test bench 514 can be used with the high level simulation module 502 to verify the device design 516 represented with the high level description language design 520. Similarly, the checkers 530, in the appropriate form, as well as the test bench 514 can also be used with the non-high level simulation module 506 to verify the device design 516 represented with the non-high level description language design 522.

With either type of simulation or the simulation version 518 for the device design 516, the checkers 530 provide a notification function 532 if the violation 306 of FIG. 3 is detected for the multi-cycle exception 302 identified in the multi-cycle exception profile 528. The violation 306 can also be one that can be observed at an external output 534 of the device design 516. The checkers 530 can also inhibit checking or notification of the violation 306 if the device design 516 is undergoing the operational reset 230 of FIG. 2.

It has been discovered that embodiments of the electronic system 100 provides increased simulation coverage for the multi-cycle exception 302 for the device design 516 by generating the checkers 530 with the analysis module 508 and using the checkers 530 with high level simulation where the simulation time is faster than running gate level simulations, e.g. non-high level simulation. The increased simulation coverage improves the reliability and robustness of the device design 516 before fabrication.

The electronic system 100 has been described with module functions or order as an example. The electronic system 100 can partition the modules differently or order the modules differently. For example, the checkers 530 can also be applied to the non-high level simulation module 506 or there can be an iterative loop between the analysis module 508 and the exception module 510 as described earlier. As a further example, the analysis module 508 can be applied to the high level description language design 520 and generate the checkers 530 before simulation of the high level description language design 520 and the analysis module 508 does not need to follow the synthesis module 504.

The modules described in this application can be hardware implementation or hardware accelerators in the first control unit 412 of FIG. 4 or in the second control unit 434 of FIG. 4. The modules can also be hardware implementation or hardware accelerators within the first device 102 or the second device 106 but outside of the first control unit 412 or the second control unit 434, respectively, as depicted in FIG. 4. However, it is understood that the first control unit 412, the second control unit 434, or a combination thereof can collectively refer to all hardware accelerators for the modules.

The modules described in this application can be implemented as instructions stored on a non-transitory computer readable medium to be executed by the integrated circuit in the electronic system 100. The non-transitory computer medium can include the memory of the integrated circuit in the electronic system 100. The non-transitory computer readable medium can include non-volatile memory, such as a hard disk drive, non-volatile random access memory (NVRAM), solid-state storage device (SSD), compact disk (CD), digital video disk (DVD), or universal serial bus (USB) flash memory devices. The non-transitory computer readable medium can be integrated as a part of the electronic system 100 or installed as a removable portion of the electronic system 100.

Referring now to FIG. 6, therein is shown a flow chart of a method 600 of operation of an electronic system 100 in an embodiment. The method 600 includes: analyzing a device design for a multi-cycle exception in a block 602; generating a multi-cycle exception profile in a block 604; and generating a checker based on the multi-cycle exception profile for a test bench for a simulation version of the device design in a block 606.

The resulting method, process, apparatus, device, product, and/or system is straightforward, cost-effective, uncomplicated, highly versatile, accurate, sensitive, and effective, and can be implemented by adapting known components for ready, efficient, and economical manufacturing, application, and utilization. Another important aspect of an embodiment is that it valuably supports and services the historical trend of reducing costs, simplifying systems, and increasing performance.

These and other valuable aspects of an embodiment consequently further the state of the technology to at least the next level.

While the embodiment has been described in conjunction with a specific best mode, it is to be understood that many alternatives, modifications, and variations will be apparent to those skilled in the art in light of the aforegoing description. Accordingly, it is intended to embrace all such alternatives, modifications, and variations that fall within the scope of the included claims. All matters set forth herein or shown in the accompanying drawings are to be interpreted in an illustrative and non-limiting sense.

Claims

What is claimed is:

1. An apparatus comprising:

a storage unit configured to provide a device design including a source element and a destination element; and

a control unit configured to:

analyze vectorlessly the device design for a multi-cycle exception,

generate a multi-cycle exception profile including the source element running off a source clock and the destination element running off a destination where the source clock and the destination clock are in different clock domains, and

generate a checker for the source element based on the multi-cycle exception profile for a test bench for a simulation version of the device design.

2. The apparatus as claimed in claim 1 wherein the multi-cycle exception profile includes a multi-cycle clock exception between a source block and a destination block in the device design.

3. The apparatus as claimed in claim 1 wherein the device design comprises a non-high level description language design.

4. The apparatus as claimed in claim 1 wherein the device design comprises a high level description language design.

5. The apparatus as claimed in claim 1 wherein the control unit is further configured to:

analyze the simulation version representing a high level simulation for a high level description language design; and

generate the checker for the test bench for the simulation version also representing the high level simulation for the high level description language design.

6. The apparatus as claimed in claim 1 wherein the simulation version comprises a non-high level description language design.

7. The apparatus as claimed in claim 2 wherein the checker includes a description for a path from the source element in the source block to the destination element in the destination block.

8. The apparatus as claimed in claim 1 wherein the checker includes an operational reset for the device design.

9. The apparatus as claimed in claim 1 wherein the checker includes a notification function that is triggered when a violation of the multi-cycle exception is detected during a simulation of the simulation version.

10. The apparatus as claimed in claim 9 wherein the violation is manifested at an external output of the device design.

11. A method comprising:

analyzing vectorlessly, using a computer having at least one processor, a device design comprising a source element and a destination element for a multi-cycle exception;

generating a multi-cycle exception profile including the source element running off a source clock and the destination element running off a destination clock where the source clock and the destination clock are in different clock domains; and

generating a checker for the source element based on the multi-cycle exception profile for a test bench for a simulation version of the device design.

12. The method as claimed in claim 11 wherein the multi-cycle exception profile includes a multi-cycle clock exception between a source block and a destination block in the device design.

13. The method as claimed in claim 11 wherein the device design comprises a non-high level description language design.

14. The method as claimed in claim 11 wherein the device design comprises a high level description language design.

15. The method as claimed in claim 11 wherein:

analyzing vectorlessly the device design includes analyzing the simulation version representing a high level simulation for a high level description language design; and

generating the checker includes generating the checker for the test bench for the simulation version also representing the high level simulation for the high level description language design.

16. The method as claimed in claim 11 wherein the simulation version comprises a non-high level description language design.

17. The method as claimed in claim 12 wherein the checker includes a description for a path from the source element in the source block to the destination element in the destination block.

18. The method as claimed in claim 11 wherein the checker includes an operational reset for the device design.

19. The method as claimed in claim 11 wherein the checker includes a notification function when a violation of the multi-cycle exception is detected during a simulation of the simulation version.

20. The method as claimed in claim 19 wherein the violation is manifested at an external output of the device design.

21. A non-transitory computer readable medium including instructions for execution, by a computer, the instructions comprising instructions for:

analyzing vectorlessly a device design comprising a source element and a destination element for a multi-cycle exception,

generating a multi-cycle exception profile including the source element running off a source clock and the destination element running off a destination clock where the source clock and the destination dock are in different clock domains, and

generating a checker for the source element based on the multi-cycle exception profile for a test bench for a simulation version of the device design.

22. The medium as claimed in claim 21 wherein the multi-cycle exception profile includes a multi-cycle clock exception between a source block and a destination block in the device design.

23. The medium as claimed in claim 21 wherein the device design comprises a non-high level description language design.

24. The medium as claimed in claim 21 wherein the device design comprises a high level description language design.

25. The medium as claimed in claim 21 wherein:

analyzing vectorlessly the device design includes analyzing the simulation version representing a high level simulation for a high level description language design; and

generating the checker includes generating the checker for the test bench for the simulation version also representing the high level simulation for the high level description language design.

26. The medium as claimed in claim 21 wherein the simulation version comprises a non-high level description language design.

27. The medium as claimed in claim 22 wherein the checker includes a description for a path from the source element in the source block to the destination element in the destination block.

28. The medium as claimed in claim 21 wherein the checker includes an operational reset for the device design.

29. The medium as claimed in claim 21 wherein the checker includes a notification function when a violation of the multi-cycle exception is detected during a simulation of the simulation version.

30. The medium as claimed in claim 29 wherein the violation is manifested at an external output of the device design.