[go: up one dir, main page]

TWI411930B - System-level emulation/verification system and method thereof - Google Patents

System-level emulation/verification system and method thereof Download PDF

Info

Publication number
TWI411930B
TWI411930B TW99123273A TW99123273A TWI411930B TW I411930 B TWI411930 B TW I411930B TW 99123273 A TW99123273 A TW 99123273A TW 99123273 A TW99123273 A TW 99123273A TW I411930 B TWI411930 B TW I411930B
Authority
TW
Taiwan
Prior art keywords
hardware
chip design
simulation
design module
software
Prior art date
Application number
TW99123273A
Other languages
Chinese (zh)
Other versions
TW201202986A (en
Inventor
Cheng Yen Huang
Cheng Chien Chen
Original Assignee
Faraday Tech Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Faraday Tech Corp filed Critical Faraday Tech Corp
Priority to TW99123273A priority Critical patent/TWI411930B/en
Publication of TW201202986A publication Critical patent/TW201202986A/en
Application granted granted Critical
Publication of TWI411930B publication Critical patent/TWI411930B/en

Links

Landscapes

  • Design And Manufacture Of Integrated Circuits (AREA)
  • Debugging And Monitoring (AREA)

Abstract

A system level emulation/verification system, including at least an operating device, for using a simulator to set soft intellectual properties (soft IPs) corresponding to a System-on-Chip (SOC) design module, and executing a simulation corresponding to the SOC design module; and for using a transactor to interact with the simulator via an Application Programming Interface (API); and a hard-wired based platform, including at least a hard IP which corresponds to a soft IP of the SOC design module, wherein the hard-wired based platform sets the hard IP according to a setting of the SOC design module, and outputs an operating result of the hard IP corresponding to the setting of the SOC design module; in addition, the hard-wired based platform executes an IP model proxy for receiving an output of the transactor and transmitting the output to the hard-wired platform for controlling the operation of the hard IP, and transmitting an operating result of the hard IP to the transactor executed by the operating device.

Description

系統階層模擬/驗證系統及其方法System level simulation/verification system and method thereof

本發明係與電路設計之模擬(emulation)/驗證(verification)系統有關,尤指在電路系統整體進行下線(tape-out)之前,得以於系統層級(system-level)進行整體電路系統設計之模擬/驗證的模擬驗證系統及其模擬/驗證方法。The present invention relates to an emulation/verification system for circuit design, and more particularly to simulation of overall circuit system design at a system-level before the entire system is tape-out. /Verified simulation verification system and its simulation/verification method.

隨著電子技術的日新月異,所提出的電路系統設計也隨之趨向複雜/龐大,因此,能夠快速且及早驗證整體電路的正確性,並降低其驗證成本是非常重要的;以往電路設計人員必須先花費許多時間設計出電路系統的硬體電路,並在整體電路的硬體架構完成變成實體電路之後,才能對整體電路進行模擬與驗證以確認電路系統的正確性,並開始撰寫使用於此電路系統上的軟體。With the rapid development of electronic technology, the proposed circuit system design tends to be complicated/large. Therefore, it is very important to quickly and early verify the correctness of the overall circuit and reduce its verification cost; in the past, circuit designers must first It takes a lot of time to design the hardware circuit of the circuit system, and after the hardware structure of the whole circuit is completed into a physical circuit, the whole circuit can be simulated and verified to confirm the correctness of the circuit system, and the writing system is used. Software on.

為加速研發的速度,有些驗證/模擬系統會在電路系統於整體完成下線程序且成為實體硬體電路之前,先進行模擬與驗證,以降低電路設計的成本(相關技術內容可參閱美國專利號4901259的專利說明書,在此不另贅述)。In order to speed up the development process, some verification/analog systems will perform simulation and verification before the circuit system completes the offline program and becomes a solid hardware circuit to reduce the cost of circuit design. For related technical content, refer to US Patent No. 4901259. The patent specification is not described here.)

然而,這些可供於電路下線之前的進行模擬/驗證的測試平台往往需要採用人工設計,這意味著,針對不同的電路系統需要分別提 供相對應的測試平台而導致大量的人工成本與電路設計時間的增加。However, these test platforms that can be used for simulation/verification before the circuit goes offline often require manual design, which means that different circuit systems need to be separately proposed. A large number of labor costs and circuit design time increase due to the corresponding test platform.

即便後續發展的模擬/驗證平台可不需使用人工設計,這些模擬/驗證平台不僅大量採用現場可程式閘陣列(Field Programmable Gate Array,FPGA)而增加了模擬成本,且這些FPGA更無法以真實實體硬體電路系統的實際操作頻率運作。換言之,由於FPGA的運作速度遠低於進行下線程序後之實體電路的實際運作速度,或稱之為晶片層級速度(silicon-level speed),這導致了驗證系統結果與實體電路系統之間的不一致。Even if the subsequent development of the simulation/verification platform does not require manual design, these analog/verification platforms not only use a large number of Field Programmable Gate Arrays (FPGAs), but also increase the simulation cost, and these FPGAs are harder to be physically solid. The actual operating frequency of the body circuit system operates. In other words, because the operating speed of the FPGA is much lower than the actual operating speed of the physical circuit after the offline program, or called the silicon-level speed, this leads to the inconsistency between the verification system result and the physical circuit system. .

另外,現有的模擬/驗證平台可能需要提供個別的印刷電路板(Printed Circuit Board,PCB)或評估板(Evaluation Board,EVB)以針對不同的電路設計進行模擬/驗證,這又額外增添了電路成本及所需時間。此外,以往大量採用FPGA之模擬/驗證系統在設計產生變動時,需要重複地於不同的操作頻率下進行模擬,更延長了測試所需的時程,更別提現今的模擬/驗證平台中FPGA的電路細節並無法與經由下線程序產生的實體電路/矽樣片(silicon sample)完全相同。In addition, existing analog/verification platforms may need to provide individual Printed Circuit Boards (PCBs) or Evaluation Boards (EVBs) to simulate/verify different circuit designs, which adds additional circuit cost. And the time required. In addition, in the past, a large number of FPGA analog/verification systems required repeated simulations at different operating frequencies to extend the time required for testing, not to mention the FPGAs in today's analog/verification platforms. The circuit details are not exactly the same as the physical circuit/silicon sample generated via the offline program.

因此,亟需研發出新穎的模擬/驗證方法及其相關模擬/驗證裝置以提升電路設計的正確度、降低生產成本且縮短軟硬體的開發時間。Therefore, there is an urgent need to develop novel analog/verification methods and their associated analog/verification devices to improve circuit design accuracy, reduce production costs, and shorten development time for hardware and software.

根據本發明之一第一實施例,其係揭露一種系統階層模擬/驗證(system-level emulation/verification)系統。此系統階層模擬/驗證系統包含有:一運算裝置、一硬體線路測試平台(hard-wired based platform)以及一連接線路(serial link)。運算裝置係用以執行複數個軟體模組,該複數個軟體模組係包含有:一模擬器(simulator)以及一轉換器(transactor)。該模擬器係用以設定對應於一系統單晶片(System-on-chip,SOC)設計模組之軟體矽智財(Software-based Intellectual property,software-based IP)並執行對應於該系統單晶片設計模組之一模擬運作。該轉換器係經由一應用程式介面(Application Programming Interface)與該模擬器互動。該硬體線路測試平台包含有:至少一硬體矽智財(hardware-based IP),該硬體矽智財係對應到該系統單晶片設計模組中一軟體矽智財,其中該硬體線路測試平台係依據對應於該系統單晶片設計模組之一設定來設定該硬體矽智財,並輸出該硬體矽智財對應於該設定之一運作結果,且該硬體線路測試平台係執行一矽智財代理伺服模組(IP Model proxy),以自一訊息通道(message channel)接收該轉換器之一輸出並將其傳送至該硬體線路測試平台以據以控制該硬體矽智財,並將該硬體矽智財之該運作結果經由該訊息通道傳送至該運算裝置所執行之該轉換器。該連接線路係耦接至該運算裝置以及該硬體線路測試平台,用以提供聯繫該運算裝置以及該硬體線路測試平台的該訊息通道。According to a first embodiment of the present invention, a system-level emulation/verification system is disclosed. The system level simulation/verification system includes: an arithmetic device, a hard-wired based platform, and a serial link. The computing device is configured to execute a plurality of software modules, the plurality of software modules including: a simulator and a transactor. The simulator is configured to set a software-based intellectual property (software-based IP) corresponding to a system-on-chip (SOC) design module and execute a single chip corresponding to the system. One of the design modules simulates operation. The converter interacts with the simulator via an Application Programming Interface. The hardware circuit test platform includes: at least one hardware-based IP, which corresponds to a software package in the single-chip design module of the system, wherein the hardware The line test platform sets the hardware based on a setting corresponding to one of the system single chip design modules, and outputs the hardware operation corresponding to one of the settings, and the hardware circuit test platform Executing an IP model proxy to receive an output of the converter from a message channel and transmit it to the hardware line test platform to control the hardware矽智财, and the result of the operation of the hardware 传送智财 is transmitted to the converter executed by the computing device via the message channel. The connection circuit is coupled to the computing device and the hardware circuit test platform for providing the message channel contacting the computing device and the hardware circuit test platform.

根據本發明之另一實施例,其係揭露一種系統階層模擬/驗證方 法,其包含有:設定一模擬器中對應於一系統單晶片設計模組之軟體矽智財,並透過該模擬器執行對應於該系統單晶片設計模組之模擬運作;使用一轉換器以經由一應用程式介面來與該模擬器互動;使用包含有至少一硬體矽智財之一硬體線路測試平台,以依據對應於該系統單晶片設計模組之一設定來設定該硬體矽智財,並輸出該硬體矽智財對應於該設定之一運作結果,其中該硬體矽智財係對應到該系統單晶片設計模組中一軟體矽智財;以及自一訊息通道接收該轉換器的輸出並將其傳送至該硬體線路測試平台以據以運作該硬體矽智財,並將該硬體矽智財之該運作結果經由該訊息通道傳送至該轉換器。According to another embodiment of the present invention, a system level simulation/verification method is disclosed The method includes: setting a software corresponding to a system single-chip design module in an emulator, and performing an analog operation corresponding to the single-chip design module of the system through the simulator; using a converter to Interacting with the simulator through an application interface; using a hardware circuit test platform including at least one hardware, to set the hardware according to a setting corresponding to one of the single chip design modules of the system Zhicai, and outputting the hardware 对应智财 corresponds to the operation result of one of the settings, wherein the hardware 对应智财 corresponds to a software 单 财 财 in the system single chip design module; and receives from a message channel The output of the converter is transmitted to the hardware circuit test platform to operate the hardware, and the operation result of the hardware is transmitted to the converter via the message channel.

在說明書及後續的申請專利範圍當中使用了某些詞彙來指稱特定的元件。所屬領域中具有通常知識者應可理解,製造商可能會用不同的名詞來稱呼同一個元件。本說明書及後續的申請專利範圍並不以名稱的差異來作為區分元件的方式,而是以元件在功能上的差異來作為區分的準則。在通篇說明書及後續的請求項當中所提及的「包含」係為一開放式的用語,故應解釋成「包含但不限定於」。以外,「耦接」一詞在此係包含任何直接及間接的電氣連接手段。因此,若文中描述一第一裝置耦接於一第二裝置,則代表該第一裝置可直接電氣連接於該第二裝置,或透過其他裝置或連接手段間接地電氣連接至該第二裝置。Certain terms are used throughout the description and following claims to refer to particular elements. Those of ordinary skill in the art should understand that a manufacturer may refer to the same component by a different noun. The scope of this specification and the subsequent patent application do not use the difference of the names as the means for distinguishing the elements, but the difference in function of the elements as the criterion for distinguishing. The term "including" as used throughout the specification and subsequent claims is an open term and should be interpreted as "including but not limited to". In addition, the term "coupled" is used herein to include any direct and indirect electrical connection. Therefore, if a first device is coupled to a second device, it means that the first device can be directly electrically connected to the second device or indirectly electrically connected to the second device through other devices or connection means.

請參閱第1圖,第1圖所示為本發明系統層級模擬/驗證系統之一第一實施例之示意圖。如第1圖所示,系統模擬/驗證系統100包含(但不侷限於):一運算裝置110、一硬體線路測試平台120,以及一連接線路130。運算裝置110內至少包含有:一模擬器140、一應用程式介面150以及一轉換器160。模擬器150係用以執行一系統單晶片設計模組之模擬運作,且運算裝置110使用轉換器160以透過應用程式介面150來與模擬器140互動。本實施例中,硬體線路測試平台120包含有複數個硬體元件,舉例來說,硬體線路測試平台120內可包含有至少一硬體矽智財,且硬體線路測試平台110係依據此系統單晶片設計模組之設定來設定硬體矽智財170,並將硬體矽智財170對應於前述系統單晶片設計模組之設定的一運作結果經由連接線路130傳送回運算裝置110內的模擬器140。請注意,第1圖僅顯示出單一硬體矽智財170以作為範例說明之用,實際上,硬體線路測試平台120亦可包含有複數個硬體矽智財,換言之,硬體線路測試平台120中的硬體矽智財數目可基於設計上的考量而定。在這裡,系統單晶片設計模組可為一使用程式語言架構出來的系統單晶片設計(亦即,其尚未進行下線程序而成為一實體的硬體電路系統),而運算裝置110係藉由模擬器140以對此一系統單晶片設計模組進行模擬/驗證。Please refer to FIG. 1. FIG. 1 is a schematic diagram showing a first embodiment of a system level simulation/verification system of the present invention. As shown in FIG. 1, system simulation/verification system 100 includes, but is not limited to, an computing device 110, a hardware circuit test platform 120, and a connection line 130. The computing device 110 includes at least an emulator 140, an application interface 150, and a converter 160. The simulator 150 is for performing a simulation operation of a system single chip design module, and the computing device 110 uses the converter 160 to interact with the simulator 140 through the application interface 150. In this embodiment, the hardware circuit test platform 120 includes a plurality of hardware components. For example, the hardware circuit test platform 120 may include at least one hardware, and the hardware circuit test platform 110 is based on The system single chip design module is configured to set the hardware and the operation result corresponding to the setting of the system single chip design module is transmitted to the computing device 110 via the connection line 130. Simulator 140 inside. Please note that Figure 1 shows only a single hardware 170智财 170 for illustrative purposes. In fact, the hardware circuit test platform 120 may also include a plurality of hardware hackers, in other words, hardware circuit testing. The number of hardware in the platform 120 can be based on design considerations. Here, the system single chip design module can be a system single chip design using a programming language architecture (that is, it has not been downlined to become a physical hardware circuit system), and the computing device 110 is simulated by The device 140 simulates/verifies this system single chip design module.

硬體線路測試平台120係透過一矽智財代理伺服模組180以經由連接線路130所提供的訊息通道來接收轉換器160的輸出,並根據轉換器160的輸出來控制硬體矽智財170之運作,且硬體線路測試 平台120另經由矽智財代理伺服模組180來將硬體矽智財170的運作結果自連接線路130傳遞給轉換器160。在本發明之一實施例中,模擬器140、應用程式介面150以及轉換器160可使用軟體模組來加以實現;比方說,模擬器140可透過使用軟體程式實現的應用程式介面150來與轉換器160互動,而轉換器160係支援以處理程序層級(transaction level)架構的電路系統,因此,轉接器160用以將模擬器140的訊息進行轉譯(translate)以經由訊息通道(其由連接線路130實施之)而與硬體線路測試平台120進行聯繫。對於硬體線路測試平台120而言,矽智財代理伺服模組180係作為硬體線路測試平台110以及運算裝置110之間的介面,以透過訊息通道接收經由轉換器160進行轉譯後的訊息,並解讀由轉譯器160傳送的訊息以供硬體線路測試平台120呼叫並設定與系統單晶片設計模組(之軟體矽智財)相對應的硬體矽智財(如硬體矽智財170),以於硬體線路測試平台120依照模擬器140內之系統單晶片設計模組之設定來設定硬體線路測試平台120上的硬體矽智財(如硬體矽智財170),進而使其依照模擬器140內之系統單晶片設計模組中相對應之軟體矽智財的設定來進行運作,並控制硬體矽智財170以使其輸出相對應於系統單晶片設計模組中之軟體矽智財之設定的運作結果,並透過矽智財代理伺服器180以及運算裝置110端的轉換器160來進行轉譯,以進一步把硬體矽智財170的運作結果傳回給模擬器140,請注意,這裡所指之硬體矽智財170的運作結果係對應到系統單晶片設計模組內軟體矽智財之設定;換言之,硬體線路測試平台120上之硬體矽智財170的設定,係相同於其對應之系統單晶片設 計模組中一軟體矽智財之設定。The hardware circuit test platform 120 receives the output of the converter 160 through a message channel provided by the connection line 130 through a smart agent server module 180, and controls the hardware based on the output of the converter 160. Operation and hardware line test The platform 120 further transmits the operation result of the hardware entity 170 to the converter 160 from the connection line 130 via the 矽智财代理服务模块 180. In an embodiment of the present invention, the emulator 140, the application interface 150, and the converter 160 can be implemented using a software module; for example, the emulator 140 can be converted and converted by using an application program interface 150 implemented by a software program. The device 160 interacts, and the converter 160 supports the circuitry for processing the transaction level architecture. Therefore, the adapter 160 is used to translate the information of the simulator 140 via the message channel (which is connected by Line 130 is implemented to communicate with the hardware line test platform 120. For the hardware circuit test platform 120, the Wisdom proxy server module 180 serves as an interface between the hardware circuit test platform 110 and the computing device 110, and receives the translated information via the converter 160 through the message channel. And interpreting the message transmitted by the translator 160 for the hardware line test platform 120 to call and setting the hardware and wisdom assets corresponding to the system single chip design module (such as the software 矽智财) (such as hardware 智智财170 The hardware circuit test platform 120 sets the hardware (such as hardware and wisdom) on the hardware circuit test platform 120 according to the setting of the system single chip design module in the simulator 140. It is operated according to the corresponding software and smart money setting in the system single chip design module in the simulator 140, and controls the hardware to make its output correspond to the system single chip design module. The operation result of the setting of the software and the smart money is translated by the intelligent agent server 180 and the converter 160 of the computing device 110 to further transfer the operation result of the hardware to the simulator 140. , Note that the operation result of the hardware 矽智财 170 referred to here corresponds to the setting of the software 矽智财in in the system single chip design module; in other words, the setting of the hardware 矽智财 170 on the hardware circuit test platform 120 Is the same as its corresponding system single chip set The setting of a software 矽智财 in the meter module.

在本發明之一實施例中,運算裝置110可為一個人電腦或一工作站,且硬體矽智財170係對應到模擬器140內執行的系統單晶片設計模組中的一個軟體矽智財;且本發明可使用一個實體的連接線路130來作為運算裝置110與硬體線路測試平台之間的訊息通道。本發明之系統層級模擬/驗證系統藉由一運算裝置110以及其內的模擬器140、應用程式介面150、轉換器160,以及硬體線路測試平台120和其內對應於用以進行驗證之系統單晶片設計模組之軟體矽智財的硬體矽智財(如硬體矽智財170),以於完整的系統單晶片設計模組進行下線程序而成為實體電路系統之前,使用硬體線路測試平台120上相對應於系統單晶片設計模組內至少一軟體矽智財之一硬體矽智財170,以將部分實體電路(亦即硬體矽智財170)之運算結果傳回模擬器140供其進行系統層級的模擬/驗證。然而,前述僅作為範例說明之用而不為本發明的限制條件,比方說,運算裝置110以及硬體線路測試平台120另可包含有更多軟/硬體模組,而第1圖係為了說明簡便起見僅繪示了與實施例中相關之元件,且在不同的實施例中,矽智財代理伺服模組180可選擇性地使用軟體模組/硬體模組或軟體模組及硬體模組之結合來加以實現,以透過實體的連接線路130來經由轉換器160而與運算裝置110中的模擬器140互動。此外,硬體線路測試平台120亦可使用一控制電路(未顯示於圖中)以透過矽智財代理伺服模組180來管理/控制硬體線路測試平台120上的硬體矽智財(如硬體矽智財170)。然而,前述說明僅為說明之 用,任何得以使用運算裝置110來執行模擬器140以執行一以程式語言架構之電路模組系統(如系統單晶片設計模組)之模擬驗證,以於整體電路模組系統於其進行下線而成為實體硬體電路之前,藉由具有對應於電路模組系統的部分實體硬體電路模組(如硬體矽智財170)來以實體電路運作之速度(如一晶片層級速度)進行模擬並將其結果回傳給運算裝置110內的模擬器140,以透過模擬器140來進行整體系統層級的模擬驗證並得以有效加速電路模組系統上所使用之軟體系統的開發之系統層級模擬/驗證系統,皆遵守本發明之精神並隸屬於本發明的保護範疇之中。In an embodiment of the present invention, the computing device 110 can be a personal computer or a workstation, and the hardware device 170 corresponds to a software package in the system single chip design module executed in the simulator 140; And the present invention can use a physical connection line 130 as a message channel between the computing device 110 and the hardware line test platform. The system level simulation/verification system of the present invention comprises an arithmetic device 110 and an emulator 140 therein, an application interface 150, a converter 160, and a hardware circuit test platform 120 and a system corresponding thereto for verification The hardware of the single-chip design module, such as the hardware of the intellectual property (such as hardware and intellectual property 170), uses the hardware circuit before the complete system single-chip design module performs the offline program and becomes the physical circuit system. The test platform 120 corresponds to at least one software 矽智财 170 of the software single chip design module, to transfer the operation result of the partial physical circuit (that is, the hardware 矽智财 170) back to the simulation. The device 140 is used for system level simulation/validation. However, the foregoing description is for illustrative purposes only and is not a limitation of the present invention. For example, the computing device 110 and the hardware circuit test platform 120 may further include more soft/hardware modules, and the first figure is for For the sake of brevity, only the components related to the embodiments are shown, and in different embodiments, the Wisdom proxy server module 180 can selectively use the software module/hardware module or the software module and The combination of hardware modules is implemented to interact with the simulator 140 in the computing device 110 via the converter 160 via the physical connection line 130. In addition, the hardware circuit test platform 120 can also use a control circuit (not shown) to manage/control the hardware on the hardware test platform 120 through the smart agent server module 180 (eg, Hardware 矽智财170). However, the foregoing description is for illustrative purposes only. Any use of the computing device 110 to execute the simulator 140 to perform a simulation of a circuit module system (such as a system single chip design module) in a programming language architecture, so that the overall circuit module system is offline Before becoming a physical hardware circuit, by using a part of the physical hardware circuit module corresponding to the circuit module system (such as hardware 170智财 170) to simulate the speed of the physical circuit operation (such as a wafer level speed) and The result is passed back to the simulator 140 in the computing device 110 for performing system-level simulation verification through the simulator 140 and effectively accelerating the development of the system-level simulation/verification system for the software system used on the circuit module system. All comply with the spirit of the invention and are within the scope of protection of the invention.

比方說,經由適當的設計變化,亦可使用具有不同結構系統階層模擬/驗證系統而透過運算裝置110端的轉換器160以及硬體線路測試平台120端的矽智財代理伺服模組180來執行運算裝置110內模擬器140中以程式語言架構的系統單晶片設計電路(如前述系統單晶片設計模組)的系統層級模擬/驗證,並使用硬體線路測試平台120端之至少一硬體矽智財170來執行系統單晶片設計(如前述系統單晶片設計模組)中相對應之軟體矽智財的模擬運作,以增進系統階層模擬/驗證的正確性並減少驗證成本;這些相關的設計變化均隸屬於本發明的保護範疇之中。For example, through appropriate design changes, the computing device can be executed by using the converter 160 with the different structural system level simulation/verification system through the computing device 110 end and the hardware circuit testing platform 120 end. System level simulation/verification of a system single-chip design circuit (such as the aforementioned system single-chip design module) of the program language architecture in the simulator 140 in the 110, and using at least one hardware of the hardware circuit test platform 120 170 to perform the simulation operation of the corresponding software package in the system single-chip design (such as the above-mentioned system single-chip design module) to improve the correctness of the system level simulation/verification and reduce the verification cost; these related design changes are It is within the scope of protection of the present invention.

此外,在本發明之一實施例中,系統階層模擬/驗證系統100可遵守標準協同模擬建模介面(Standard Co-Emulation Modeling Interface,SCE-MI)之規範,而應用程式介面150為可為一對應到前 瞻微處理器匯流排架構之高效能匯流排(Advanced Microcontroller Bus Architecture-Advanced High-Performance Bus,AMBAAHB bus)之軟體。另外,由於轉換器160以及處理程序層級設計之原理為熟悉電子系統階層(Electrical System Level)系統設計之人士所明瞭,故為了簡明起見,於此便不再贅述。In addition, in an embodiment of the present invention, the system level simulation/verification system 100 can comply with the standard Co-Emulation Modeling Interface (SCE-MI) specification, and the application interface 150 can be one. Corresponding to the front The software of the Advanced Microcontroller Bus Architecture-Advanced High-Performance Bus (AMBAAHB bus). In addition, since the principles of the converter 160 and the hierarchical design of the processing program are known to those skilled in the art of the Electrical System Level system, they will not be described again for the sake of brevity.

請參閱第2圖,第2圖所示為本發明應用於第1圖所示之系統階層模擬/驗證系統100上之系統層級模擬/驗證方法之一實施例的步驟流程圖。請注意到,倘若實質上可達到相同的結果,並不一定需要遵照第2圖所示之流程中的步驟順序來依序進行,其他步驟亦可能插入其中。系統層級模擬/驗證方法的流程包含有以下步驟:步驟202:運算裝置110設定一模擬器140中對應於一系統單晶片設計模組之軟體矽智財,並透過模擬器140來執行對應於該系統單晶片設計模組之模擬運作,其中模擬器140可使用運算裝置110內的軟體程式或軟體平台來加以實現,且系統單晶片設計模組為一以程式語言架構出之系統單晶片設計(SOC design)電路,而運算裝置110係透過模擬器140來設定(以程式語言表現之)系統單晶片設計電路內所包含的軟體矽智財及其他以(程式語言表現之)元件,以執行系統單晶片設計電路的模擬/驗證運作。在本發明之一實施例中,轉換器140可為由運算裝置110所執行之一軟體模 組,用以將模擬器140之輸出進行轉譯,以將其轉換成與一硬體線路測試平台120中之矽智財代理模組180相容之訊息。另外,在本發明之一實施例中,運算裝置110透過模擬器140以執行一測試程式碼(test bench),以執行系統單晶片設計模組之模擬運作,且於模擬器140下執行系統單晶片設計模組的模擬運作之前,模擬器140會先呼叫(instantiate)對應於系統單晶片設計模組之軟體矽智財,以設定對應於系統單晶片設計模組的軟體矽智財;而系統單晶片設計模組的設定至少包含有系統單晶片設計模組內之(一個或複數個)軟體矽智財之設定。而硬體線路測試平台120即依照軟體矽智財中相對應於硬體矽智財170之軟體矽智財之設定來據以設定硬體矽智財170,而使得相對應之軟體矽智財與硬體矽智財170彼此之間的設定一致。Referring to FIG. 2, FIG. 2 is a flow chart showing the steps of an embodiment of the system level simulation/verification method applied to the system level simulation/verification system 100 shown in FIG. Please note that if the same result can be achieved substantially, it is not necessary to follow the sequence of steps in the process shown in Figure 2, and other steps may be inserted. The flow of the system level simulation/verification method includes the following steps: Step 202: The computing device 110 sets a software entity corresponding to a system single chip design module in the simulator 140, and executes the corresponding function through the simulator 140. The simulation operation of the system single chip design module, wherein the simulator 140 can be implemented by using a software program or a software platform in the computing device 110, and the system single chip design module is a system single chip design in a programming language architecture ( SOC design), and the computing device 110 is configured to execute (in a programming language) the software included in the system single-chip design circuit and other components (in the programming language) to execute the system through the simulator 140. Simulation/verification operation of a single-chip design circuit. In an embodiment of the invention, the converter 140 can be a soft phantom executed by the computing device 110. The group is used to translate the output of the simulator 140 to convert it into a message compatible with the smart agent module 180 in a hardware line test platform 120. In addition, in an embodiment of the present invention, the computing device 110 executes a test program (test bench) through the simulator 140 to perform a simulation operation of the system single chip design module, and executes the system list under the simulator 140. Before the simulation operation of the chip design module, the simulator 140 first instantiates the software corresponding to the system single chip design module to set the software corresponding to the system single chip design module; The setting of the single-chip design module includes at least the setting of (one or more) software entities within the system single-chip design module. The hardware circuit test platform 120 is based on the software 相对智财 corresponding to the software 矽智财财 170 software 矽 财 财 来 设定 设定 设定 设定 设定 设定 设定 设定 设定 设定 设定 170 170 170 170 170 170 170 170 170 170 170 170 170 170 170 170 170 170 It is consistent with the setting of the hardware and wisdom.

步驟204:運算裝置110使用一轉換器160,以透過一應用程式介面150來與模擬器140互動。在一實施例中,應用程式介面150可為一對應到前瞻微處理器匯流排架構之高效能匯流排之軟體程式。Step 204: The computing device 110 uses a converter 160 to interact with the simulator 140 through an application interface 150. In one embodiment, the application interface 150 can be a software program corresponding to a high-performance bus of the look-ahead microprocessor bus architecture.

步驟206:使用具有至少一硬體矽智財170之硬體線路測試平台120,以依據對應於系統單晶片設計模組之一設定來設 定硬體矽智財170,並輸出硬體矽智財170對應於前述系統單晶片設計模組之設定的一運作結果,其中硬體矽智財170係對應到系統單晶片設計模組中一軟體矽智財。請注意到,硬體矽智財170的數目並不為本發明的限制條件之一,經由適當的設計變化,當透過模擬器140執行模擬運作之系統單晶片設計模組具有複數個軟體矽智財,且硬體線路測試平台120具有分別與複數個軟體矽智財及其他軟體模組中之複數個軟體矽智財對應的複數個硬體矽智財,則亦可依照系統單晶片設計模組中的設定來分別設定硬體線路測試平台120上之相對應的複數個硬體矽智財,以使用實體硬體矽智財來以一實體晶片層級速度進行相對應於系統單晶片設計模組之設定的模擬,並將其結果回傳至運算裝置110內的模擬器140以供其進行後續的系統階層的模擬驗證。更廣泛而言,亦可使用本發明之系統階層模擬驗證系統來使用硬體線路測試平台120上的硬體矽智財和其他的實體硬體架構來進行運算裝置110中相對應之軟體矽智財以及軟體架構的模擬運作,以此提供更佳的系統階層模擬運作。此外,硬體矽智財係可分別對應到系統單晶片設計模組上所具有的軟體矽智財,而實體硬體架構(如一儲存裝置)可對應到模擬器140中以程式語言架構的儲存模組。前述之相關設計變化均隸屬於本發明的保護範疇之中。Step 206: Use a hardware circuit test platform 120 having at least one hardware 170 智 170 to set according to one of the system single chip design modules. The hard hardware 170智财 170, and the output hardware 矽智财 170 corresponds to the operation result of the setting of the system single chip design module, wherein the hardware 170智财 170 series corresponds to the system single chip design module Software and wisdom. Please note that the number of hardware 170 财 170 is not one of the limitations of the present invention. With appropriate design changes, the system single-chip design module that performs the simulation operation through the simulator 140 has a plurality of software wise. And the hardware circuit test platform 120 has a plurality of hardware and intellectual assets corresponding to a plurality of software software and other software modules, and may also be designed according to the system single chip design. The settings in the group are respectively set to correspond to a plurality of hardware and hardware assets on the hardware circuit test platform 120, so as to use the physical hardware and the smart chip to perform the system single-chip design mode at a physical wafer level speed. The set of simulations is grouped and the results are passed back to the simulator 140 within the computing device 110 for subsequent simulation of the system level. More broadly, the system level simulation verification system of the present invention can also be used to perform the corresponding software in the computing device 110 using the hardware and hardware architecture on the hardware circuit test platform 120. The simulation of the financial and software architectures to provide better system level simulation operations. In addition, the hardware and software finance system can respectively correspond to the software and software wealth of the system single chip design module, and the physical hardware architecture (such as a storage device) can correspond to the storage of the programming language in the simulator 140. Module. The aforementioned related design changes are all within the scope of protection of the present invention.

步驟208:自一訊息通道接收轉換器160的輸出並將其傳送至硬體線路測試平台120以據以運作硬體矽智財170,並將硬體矽智財170之運作結果經由此一訊息通道傳送至轉換器160。在第1圖所示之系統階層模擬/驗證系統100中,係採用實體的連接通道130來實現運算裝置110與硬體線路測試平台120間的訊息通道,然而,於實作上,任何可提供所需之訊息通道的機制或架構均可用來實現本發明的連接通道130,而這些相關設計變化均隸屬於本發明的保護範疇之中。Step 208: Receive the output of the converter 160 from a message channel and transmit it to the hardware circuit test platform 120 to operate the hardware, and execute the operation result of the hardware. The channel is passed to converter 160. In the system level simulation/verification system 100 shown in FIG. 1, the physical connection channel 130 is used to implement the information channel between the computing device 110 and the hardware circuit test platform 120. However, in practice, any available The mechanism or architecture of the desired message channel can be used to implement the connection channel 130 of the present invention, and such related design variations are within the scope of the present invention.

另外請注意到,在本發明之另一實施例中,硬體線路測試平台120上亦可有其他的硬體模組,如記憶體單元;且若硬體線路測試平台120有複數個硬體矽智財(未顯示於圖中)及/或硬體模組分別對應到以程式語言架構之系統單晶片設計模組中的複數個軟體矽智財及軟體模組,則硬體線路測試平台120可經由轉換器160以及矽智財代理伺服模組180,而依照欲透過模擬器140進行模擬之系統單晶片設計模組內之相對應之軟體矽智財及軟體模組的設定,來設定硬體線路測試平台120上相對應之硬體矽智財及硬體模組,進而以實體的運作速度(如晶片層級速度)來運作這些實體硬體矽智財及硬體模組,並將運作結果傳回模擬器140。前述之相關設計變化皆遵守本發明之精神並隸屬於本發明的保護範疇之中。In addition, in another embodiment of the present invention, the hardware circuit test platform 120 may have other hardware modules, such as a memory unit, and if the hardware circuit test platform 120 has multiple hardware components.矽智财 (not shown in the figure) and/or hardware modules correspond to a plurality of software 矽智财和软件模块s in the system single-chip design module of the programming language architecture, then the hardware circuit test platform 120 can be set according to the settings of the corresponding software, software and software modules in the system single chip design module to be simulated by the simulator 140 via the converter 160 and the smart agent server module 180. The hardware circuit test platform 120 corresponding to the hardware and hardware modules, and then the physical operating speed (such as wafer level speed) to operate these physical hardware and hardware modules, and The result of the operation is passed back to the simulator 140. The foregoing related design changes are in accordance with the spirit of the invention and are within the scope of the invention.

請參閱第3圖,第3圖所示為本發明之系統層級模擬/驗證系統100之運算裝置110之一實施例的實施細節。如圖所示,運算裝置110可使用一個人電腦或一工作站加以實施,而模擬器140可為其上之軟體平台,而系統單晶片設計模組320係為以程式語言架構之設計電路,而模擬器140可執行一測試程式碼310以依照測試程式碼310而於系統單晶片設計模組320尚未成為實體的電路系統之前進行系統層級的模擬驗證。由於測試程式碼310以及以程式語言架構的系統單晶片設計模組320可於電路設計領域中熟習電子系統層級系統設計之人士所熟知,且相關於本發明之運算裝置110、模擬器140已於前述關於第1圖與第2圖之說明中詳細揭露之,另外,系統單晶片設計模組320的細節可於閱讀上述關於第1圖與第2圖之說明之後輕易瞭解,故在此便不再重複贅述。Please refer to FIG. 3, which shows implementation details of one embodiment of the computing device 110 of the system level simulation/verification system 100 of the present invention. As shown, the computing device 110 can be implemented using a personal computer or a workstation, and the simulator 140 can be a software platform thereon, and the system single chip design module 320 is designed to be a programming language, and the simulation is performed. The controller 140 can execute a test code 310 to perform system level simulation verification in accordance with the test code 310 before the system single chip design module 320 has not become a physical circuit system. Since the test code 310 and the system single-chip design module 320 in the programming language architecture are well known to those skilled in the art of circuit design, the computing device 110 and the simulator 140 related to the present invention have been The details of the system single-chip design module 320 can be easily understood after reading the above descriptions of the first and second figures, so that it is not here. Repeat it again.

請一併參照第1圖、第2圖與第4圖,第4圖所示為本發明之系統層級模擬/驗證系統之另一實施例的實施細節。如圖所示,本實施例係於運算裝置110上(透過模擬器)進行系統單晶片設計模組320之系統層級的模擬運作,而系統單晶片設計模組320係為一程式語言架構出之電路系統,比方說,可使用Verilog或其他硬體描述語言(Hardware Description Language,HDL)來架構出系統單晶片設計模組320,再經由測試程式碼執行系統單晶片設計模組320之模擬/驗證,在執行模擬系統層級的模擬/驗證之前,運算裝置110會透過模擬器(其可使用一軟體來加以實施)來呼叫並設定對應於系統單晶片設計模組320中的軟體矽智財(例如軟體矽智財322、324、 326),假設在硬體線路測試平台120上的一積體電路190中有一硬體矽智財175,此硬體矽智財175的硬體架構係對應到硬體描述語言架構之軟體矽智財326,則硬體線路測試平台120可藉由其上的矽智財代理伺服模組(未顯示於圖中)來接收由運算裝置110上的轉換器(未顯示於圖中)透過連接線路130所傳送之軟體矽智財326之設定細節,並將其傳遞至積體電路190以設定積體電路190內的硬體矽智財175(如圖所示)。這樣一來,當模擬器(未顯示於圖中)透過測試程式碼來執行到對應於軟體矽智財326之模擬/驗證運作時,則硬體矽智財175將依其與軟體矽智財326相符合的設定來進行運作,並將硬體矽智財175相對於軟體矽智財326之設定的運作結果經由連接線路130傳回模擬器(未顯示於圖中),因此,本發明可以在系統單晶片設計模組320進行下線程序而成為實體電路之前,盡可能地採用硬體線路測試平台120上相對應於系統單晶片設計模組320之硬體矽智財及其他硬體元件來以實體電路的運作速度進行模擬驗證並將其回傳至模擬器(未顯示於圖中),以完成系統單晶片設計模組320之系統層級的模擬驗證。Please refer to FIG. 1 , FIG. 2 and FIG. 4 together. FIG. 4 is a detailed implementation of another embodiment of the system level simulation/verification system of the present invention. As shown in the figure, the system performs the system level simulation operation of the system single chip design module 320 on the computing device 110 (through the simulator), and the system single chip design module 320 is a programming language architecture. The circuit system, for example, can be constructed using Verilog or other Hardware Description Language (HDL) to construct the system single chip design module 320, and then execute the simulation/verification of the system single chip design module 320 via the test code. Before performing the simulation/verification of the simulation system level, the computing device 110 calls and sets the software corresponding to the software in the system single chip design module 320 through the simulator (which can be implemented using a software) (for example) Software 矽 智 财 322, 324, 326), assuming that there is a hardware 175 in an integrated circuit 190 on the hardware circuit test platform 120, the hardware architecture of the hardware 175 corresponds to the hardware description of the hardware description language architecture. For example, the hardware circuit test platform 120 can receive the converter (not shown in the figure) on the computing device 110 through the connection line by using the intelligent server proxy module (not shown). The setting details of the software 326 transmitted by the software are transmitted to the integrated circuit 190 to set the hardware 175 (as shown) in the integrated circuit 190. In this way, when the simulator (not shown in the figure) is executed through the test code to the simulation/verification operation corresponding to the software 智智财 326, the hardware 智智财175 will be based on it and the software. 326 matches the settings to operate, and the operation result of the setting of the hardware 175 财 175 relative to the software 智 智 326 is transmitted back to the simulator via the connection line 130 (not shown in the figure), therefore, the present invention can Before the system single-chip design module 320 performs the offline process and becomes the physical circuit, the hard-wired test and the other hardware components corresponding to the system single-chip design module 320 on the hardware circuit test platform 120 are used as much as possible. The simulation verification is performed at the operating speed of the physical circuit and transmitted back to the simulator (not shown) to complete the system level simulation verification of the system single chip design module 320.

在本發明之另一實施例中,用以執行本發明之以程式語言架構之系統單晶片設計模組的模擬/驗證的測試程式碼另外描述了其他硬體模組的行為,比方說,若本發明之硬體線路測試平台上包含有一硬碟裝置,如一通用序列匯流排(Universal Serial Bus,USB)硬碟,則測試程式碼可描述系統單晶片設計模組中軟體矽智財與相對於USB硬碟之軟體記憶體模組的行為。因此,當測試程式碼執行到特 定之軟體矽智財與其相對於USB硬碟之軟體記憶體模組之模擬時,則硬體線路測試平台上相對應之硬體矽智財以及其相對之USB硬碟便將以真實電路的運作速度進行對應於系統單晶片設計模組以及測試程式碼之設定的運作,並將其運作結果傳回至模擬器。請注意到,任何符合處理程序層級之模擬驗證系統,例如遵守標準協同模擬建模介面SCE-MI之規範或其他相關之規範的系統層級模擬驗證系統,其只要使用一硬體線路平台上的至少一個硬體矽智財及/或硬體模組來提供以實體電路速度(如晶片層級速度)運作之運作結果以協助於整體電路系統(如系統單晶片設計模組)下線前進行的系統階層模擬/驗證,皆遵守於本發明之精神且隸屬於本發明的保護範疇之中。In another embodiment of the present invention, the test/verification test code of the system single-chip design module for executing the program language architecture of the present invention additionally describes the behavior of other hardware modules, for example, if The hardware circuit test platform of the present invention comprises a hard disk device, such as a universal serial bus (USB) hard disk, and the test code can describe the software in the system single chip design module. The behavior of the USB memory hard disk software module. Therefore, when the test code is executed to When the software is compared with the software module of the USB hard disk, the corresponding hardware and the corresponding USB hard disk will be operated by the real circuit. The speed corresponds to the operation of the system single chip design module and the test code setting, and the operation result is transmitted back to the simulator. Please note that any simulation verification system that conforms to the processor level, such as the system level simulation verification system that complies with the standard collaborative simulation modeling interface SCE-MI specification or other related specifications, is only required to use at least one hardware line platform. A hardware, hardware, and/or hardware module that provides operational results at physical circuit speeds (such as wafer level speeds) to assist in the overall system hierarchy (such as system single-chip design modules) before the offline system level Simulation/validation is in accordance with the spirit of the invention and is within the scope of protection of the invention.

藉由採用本發明之系統階層模擬/驗證系統及其系統階層模擬/驗證方法,將可減少使用現場可程式閘陣列的數目,部分軟體矽智財可以硬體線路平台上的硬體矽智財來進行模擬並回傳其運作結果,故提供更可靠的系統階層模擬/驗證,並加速軟體開發的速度。By adopting the system level simulation/verification system of the present invention and its system level simulation/verification method, the number of field-programmable gate arrays can be reduced, and some software entities can be hard-wired on the hardware platform. To simulate and return the results of its operation, it provides more reliable system level simulation/verification and speeds up software development.

以上所述僅為本發明之較佳實施例,凡依本發明申請專利範圍所做之均等變化與修飾,皆應屬本發明之涵蓋範圍。The above are only the preferred embodiments of the present invention, and all changes and modifications made to the scope of the present invention should be within the scope of the present invention.

100‧‧‧系統階層模擬/驗證系統100‧‧‧System level simulation/verification system

110‧‧‧運算裝置110‧‧‧ arithmetic device

120‧‧‧硬體線路測試平台120‧‧‧ hardware line test platform

130‧‧‧連接線路130‧‧‧Connected lines

140‧‧‧模擬器140‧‧‧ Simulator

150‧‧‧應用程式介面150‧‧‧Application interface

160‧‧‧轉換器160‧‧‧ converter

170、175‧‧‧硬體矽智財170, 175‧‧‧ Hardware

180‧‧‧矽智財代理伺服模組180‧‧‧矽智财代理服务模块

190‧‧‧積體電路190‧‧‧ integrated circuit

310‧‧‧測試程式碼310‧‧‧ test code

320‧‧‧系統單晶片設計模組320‧‧‧System Single Chip Design Module

322、324、326‧‧‧軟體矽智財322, 324, 326‧‧‧Software

第1圖所示為本發明系統層級模擬/驗證系統之一第一實施例的示意圖。Figure 1 is a schematic illustration of a first embodiment of a system level simulation/verification system of the present invention.

第2圖所示為本發明應用於第1圖所示之系統階層模擬/驗證系統上之系統層級模擬/驗證方法之一實施例的步驟流程圖。Figure 2 is a flow chart showing the steps of an embodiment of the system level simulation/verification method applied to the system level simulation/verification system shown in Figure 1 of the present invention.

第3圖所示為本發明系統層級模擬/驗證系統之運算裝置之一實施例的實施細節。Figure 3 is a diagram showing the implementation details of one embodiment of the arithmetic unit of the system level simulation/verification system of the present invention.

第4圖所示為本發明系統層級模擬/驗證系統之另一實施例的實施細節。Figure 4 is a diagram showing implementation details of another embodiment of the system level simulation/verification system of the present invention.

100‧‧‧系統階層模擬/驗證系統100‧‧‧System level simulation/verification system

110‧‧‧運算裝置110‧‧‧ arithmetic device

120‧‧‧硬體線路測試平台120‧‧‧ hardware line test platform

130‧‧‧連接線路130‧‧‧Connected lines

140‧‧‧模擬器140‧‧‧ Simulator

150‧‧‧應用程式介面150‧‧‧Application interface

160‧‧‧轉換器160‧‧‧ converter

170‧‧‧硬體矽智財170‧‧‧ Hardware, wisdom and wealth

180‧‧‧矽智財代理伺服模組180‧‧‧矽智财代理服务模块

Claims (14)

一種系統階層模擬/驗證系統,其包含有:一運算裝置,用以執行複數個軟體模組,該複數個軟體模組係包含有:一模擬器,用以設定對應於一系統單晶片設計模組之軟體矽智財並執行對應於該系統單晶片設計模組之一模擬運作;以及一轉換器,其係經由一應用程式介面與該模擬器互動;一硬體線路測試平台,其包含有:至少一硬體矽智財,該硬體矽智財係對應到該系統單晶片設計模組中一軟體矽智財,該硬體線路測試平台係依據對應於該系統單晶片設計模組之一設定來設定該硬體矽智財,並輸出該硬體矽智財對應於該設定之一運作結果,且該硬體線路測試平台係執行一矽智財代理伺服模組,以自一訊息通道接收該轉換器之一輸出並將其傳送至該硬體線路測試平台以據以控制該硬體矽智財,並將該硬體矽智財之該運作結果經由該訊息通道傳送至該運算裝置所執行之該轉換器;以及一連接線路,耦接至該運算裝置以及該硬體線路測試平台,用以提供聯繫該運算裝置以及該硬體線路測試平台的該訊息通道。 A system level simulation/verification system includes: an arithmetic device for executing a plurality of software modules, the plurality of software modules comprising: an simulator for setting a single chip design mode corresponding to a system The software group and the simulation operation corresponding to one of the system single chip design modules; and a converter interacting with the simulator via an application interface; a hardware circuit test platform including : At least one hardware, the hardware and finance department corresponds to a software package in the single-chip design module of the system. The hardware circuit test platform is based on the single-chip design module corresponding to the system. A setting is used to set the hardware and the output of the hardware is corresponding to the operation result of the setting, and the hardware line test platform executes a smart agent server module to self-sense Receiving, by the channel, an output of the converter and transmitting the output to the hardware circuit test platform for controlling the hardware and transmitting the operation result of the hardware to the operation via the message channel The converter is executed by the computing device; and a connecting circuit is coupled to the computing device and the hardware circuit testing platform for providing the message channel contacting the computing device and the hardware circuit testing platform. 如申請專利範圍第1項所述之系統階層模擬/驗證系統,該硬體線路測試平台係以一晶片層級速度運作該硬體矽智財,其中該硬體矽智財係對應到該系統單晶片設計模組中該軟體矽智財。The system-level simulation/verification system of claim 1, wherein the hardware circuit test platform operates the hardware at a wafer level speed, wherein the hardware system corresponds to the system The software in the chip design module is smart. 如申請專利範圍第1項所述之系統階層模擬/驗證系統,其中該運算裝置透過該模擬器來執行一測試程式碼以執行該系統單晶片設計模組之該模擬運作;該模擬器係於執行對應於該系統單晶片設計模組之該模擬運作前,呼叫該系統單晶片設計模組所對應之每一軟體矽智財;以及該系統單晶片設計模組之該設定係包含有軟體矽智財設定,以使該硬體線路測試平台依據對應該硬體矽智財之該軟體矽智財的設定來設定該硬體矽智財。The system level simulation/verification system of claim 1, wherein the computing device executes a test code through the simulator to perform the simulation operation of the system single chip design module; the simulator is Before executing the simulation operation corresponding to the single-chip design module of the system, calling each software corresponding to the single-chip design module of the system; and setting the system of the single-chip design module of the system includes software 矽The smart money is set so that the hardware line test platform sets the hardware and wisdom according to the setting of the software and intellectual property that should be used by the hardware. 如申請專利範圍第1項所述之系統階層模擬/驗證系統,其中該運算裝置透過該轉換器而經由該訊息通道與該矽智財代理伺服模組互動,以及該運算裝置執行該轉換器來轉譯該模擬器之訊息,並將該訊息透過該矽智財代理伺服模組傳送至該硬體線路測試平台。The system level simulation/verification system of claim 1, wherein the computing device interacts with the smart agent proxy module via the message channel through the converter, and the computing device executes the converter Translating the message of the simulator and transmitting the message to the hardware line test platform through the server. 如申請專利範圍第4項所述之系統階層模擬/驗證系統,其中該應用程式介面係對應一前瞻微處理器匯流排架構之高效能匯流排。For example, the system level simulation/verification system described in claim 4, wherein the application interface corresponds to a high efficiency bus of a look-ahead microprocessor bus structure. 如申請專利範圍第1項所述之系統階層模擬/驗證系統,其中該系統階層模擬/驗證系統係遵守一標準協同模擬建模介面之規範。The system level simulation/verification system of claim 1, wherein the system level simulation/verification system complies with a specification of a standard collaborative simulation modeling interface. 如申請專利範圍第1項所述之系統階層模擬/驗證系統,其係於整體系統下線之前進行模擬/驗證。For example, the system level simulation/verification system described in claim 1 is simulated/verified before the overall system goes offline. 一種系統階層模擬/驗證方法,其包含有:設定一模擬器中對應於一系統單晶片設計模組的軟體矽智財,並透過該模擬器執行對應於該系統單晶片設計模組之模擬運作;使用一轉換器以經由一應用程式介面來與該模擬器互動;使用包含有至少一硬體矽智財之一硬體線路測試平台,以依據對應於該系統單晶片設計模組之一設定來設定該硬體矽智財,並輸出該硬體矽智財對應於該設定之一運作結果,其中該硬體矽智財係對應到該系統單晶片設計模組中一軟體矽智財;以及自一訊息通道接收該轉換器的輸出並將其傳送至該硬體線路測試平台以據以運作該硬體矽智財,並將該硬體矽智財之該運作結果經由該訊息通道傳送至該轉換器。A system level simulation/verification method includes: setting a software entity corresponding to a system single chip design module in an simulator, and performing simulation operation corresponding to the single chip design module of the system through the simulator Using a converter to interact with the simulator via an application interface; using a hardware line test platform including at least one hardware, to configure one of the single chip design modules corresponding to the system To set the hardware and wisdom, and output the hardware and wisdom corresponding to the operation result of one of the settings, wherein the hardware and the financial system correspond to a software package in the system single chip design module; And receiving the output of the converter from a message channel and transmitting the same to the hardware circuit test platform to operate the hardware and transmitting the operation result of the hardware to the message channel To the converter. 如申請專利範圍第8項所述之系統階層模擬/驗證方法,其係以一晶片層級速度執行該系統單晶片設計模組之模擬運作。The system level simulation/verification method described in claim 8 of the patent application system performs the simulation operation of the single chip design module of the system at a wafer level speed. 如申請專利範圍第8項所述之系統階層模擬/驗證方法,其中使用該模擬器執行對應於該系統單晶片設計模組之模擬運作係透過該模擬器來執行一測試程式碼以執行該系統單晶片設計模組之模擬運作;設定該模擬器中對應於該系統單晶片設計模組的軟體矽智財的步驟包含有:於執行對應於該系統單晶片設計模組之模擬運作前,呼叫該系統單晶片設計模組所對應之每一軟體矽智財,其中該系統單晶片設計模組之該設定係包含有軟體矽智財設定,以使該硬體線路測試平台依據對應該硬體矽智財之該軟體矽智財的設定來設定該硬體矽智財。The system level simulation/verification method of claim 8, wherein the simulator is used to execute a simulation operation corresponding to the single-chip design module of the system, and the test program is executed by the simulator to execute the system. The simulation operation of the single-chip design module; the step of setting the software corresponding to the system single-chip design module in the simulator includes: calling before performing the simulation operation corresponding to the single-chip design module of the system Each software corresponding to the single-chip design module of the system, wherein the setting of the single-chip design module of the system includes a software configuration, so that the hardware circuit test platform is based on the corresponding hardware. The software of Zhi Zhicai is set up to set the hardware and wisdom. 如申請專利範圍第8項所述之系統階層模擬/驗證方法,其中使用該轉換器以經由該應用程式介面來與該模擬器互動的步驟包含有:轉譯該模擬器之訊息並將該訊息經由該訊息通道傳送。The system level simulation/verification method of claim 8, wherein the step of using the converter to interact with the simulator via the application interface comprises: translating the message of the simulator and passing the message The message channel is transmitted. 如申請專利範圍第11項所述之系統階層模擬/驗證方法,其中該應用程式介面對應到一前瞻微處理器匯流排架構之高效能匯流排。The system level simulation/verification method of claim 11, wherein the application interface corresponds to a high efficiency bus of a look-ahead microprocessor bus architecture. 如申請專利範圍第8項所述之系統階層模擬/驗證方法,其中該系統階層模擬/驗證系統係遵守一標準協同模擬建模介面之規範。The system level simulation/verification method of claim 8, wherein the system level simulation/verification system complies with a specification of a standard collaborative simulation modeling interface. 如申請專利範圍第8項所述之系統階層模擬/驗證方法,其係於整體系統下線之前執行。The system level simulation/verification method described in claim 8 of the patent application is performed before the entire system is offline.
TW99123273A 2010-07-15 2010-07-15 System-level emulation/verification system and method thereof TWI411930B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
TW99123273A TWI411930B (en) 2010-07-15 2010-07-15 System-level emulation/verification system and method thereof

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
TW99123273A TWI411930B (en) 2010-07-15 2010-07-15 System-level emulation/verification system and method thereof

Publications (2)

Publication Number Publication Date
TW201202986A TW201202986A (en) 2012-01-16
TWI411930B true TWI411930B (en) 2013-10-11

Family

ID=46756283

Family Applications (1)

Application Number Title Priority Date Filing Date
TW99123273A TWI411930B (en) 2010-07-15 2010-07-15 System-level emulation/verification system and method thereof

Country Status (1)

Country Link
TW (1) TWI411930B (en)

Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4901259A (en) * 1988-08-15 1990-02-13 Lsi Logic Corporation Asic emulator
US20040268278A1 (en) * 2003-05-07 2004-12-30 Hoberman Barry Alan Managing power on integrated circuits using power islands
EP1564643A2 (en) * 2004-02-11 2005-08-17 Intracom S.A. Hellenic Telecommunications & Electronics Industry Synthesizable vhdl model of a multi-channel dma-engine core for embedded bus systems
US6941538B2 (en) * 2002-02-22 2005-09-06 Xilinx, Inc. Method and system for integrating cores in FPGA-based system-on-chip (SoC)
US7260798B2 (en) * 2003-12-29 2007-08-21 Mentor Graphics Corporation Compilation of remote procedure calls between a timed HDL model on a reconfigurable hardware platform and an untimed model on a sequential computing platform
TW200811671A (en) * 2006-08-17 2008-03-01 Shuenn-Yuh Lee FFT/IFFT processor and intellectual property builder
TW200951730A (en) * 2008-05-22 2009-12-16 Ibm System-on-chip (SOC), design structure and method

Patent Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4901259A (en) * 1988-08-15 1990-02-13 Lsi Logic Corporation Asic emulator
US6941538B2 (en) * 2002-02-22 2005-09-06 Xilinx, Inc. Method and system for integrating cores in FPGA-based system-on-chip (SoC)
US20040268278A1 (en) * 2003-05-07 2004-12-30 Hoberman Barry Alan Managing power on integrated circuits using power islands
US7260798B2 (en) * 2003-12-29 2007-08-21 Mentor Graphics Corporation Compilation of remote procedure calls between a timed HDL model on a reconfigurable hardware platform and an untimed model on a sequential computing platform
EP1564643A2 (en) * 2004-02-11 2005-08-17 Intracom S.A. Hellenic Telecommunications & Electronics Industry Synthesizable vhdl model of a multi-channel dma-engine core for embedded bus systems
TW200811671A (en) * 2006-08-17 2008-03-01 Shuenn-Yuh Lee FFT/IFFT processor and intellectual property builder
TW200951730A (en) * 2008-05-22 2009-12-16 Ibm System-on-chip (SOC), design structure and method

Also Published As

Publication number Publication date
TW201202986A (en) 2012-01-16

Similar Documents

Publication Publication Date Title
US8024699B2 (en) Testing sub-systems of a system-on-a-chip using a configurable external system-on-a-chip
US10180850B1 (en) Emulating applications that use hardware acceleration
US9026966B1 (en) Co-simulation methodology to address performance and runtime challenges of gate level simulations with, SDF timing using emulators
CN105205249A (en) SOC (System on Chip) debugging validation system and software/hardware collaboration method thereof
JP2001189387A (en) Method and system for verifying design of system on chip
CN102521444A (en) Cooperative simulation/verification method and device for software and hardware
US20120143583A1 (en) System-level emulation/verification system and system-level emulation/verification method
CN100476837C (en) A Microprocessor FPGA Verification Device Supporting Random Instruction Test
CN115048888A (en) Integrated circuit verification method, integrated circuit verification device, simulation system, electronic device and medium
CN101784905A (en) Verification of design information for controlling manufacture of a system on a ship
CN116048952A (en) A method and device for instantiating module simulation verification based on tailorable IP
US8065641B2 (en) Automatically creating manufacturing test rules pertaining to an electronic component
CN107526585B (en) Scala-based FPGA development platform and its debugging and testing methods
TWI411930B (en) System-level emulation/verification system and method thereof
US20040153301A1 (en) Integrated circuit development methodology
US20230267253A1 (en) Automated synthesis of virtual system-on-chip environments
Brinkmann et al. Formal verification—the industrial perspective
EP3961389B1 (en) Virtual machine for developing and testing target code for hardware designs
US11403449B1 (en) Systems and methods for configurable switches for verification IP
Lin et al. Functional verifications for SoC software/hardware co-design: From virtual platform to physical platform
US9075639B1 (en) Systems and methods for handling interrupts during software design simulation
Karmitsa Pre-validation of SoC via hardware and software co-simulation
CN116451625B (en) Apparatus and method for joint simulation of RTL and netlist with SDF
CN120874709B (en) Low-power simulation methods, devices, equipment, storage media, and software products
CN120995948B (en) Simulation verification system and method supporting multiple verification scenarios

Legal Events

Date Code Title Description
MM4A Annulment or lapse of patent due to non-payment of fees