This paper deals with how to implement AMBA bus transaction level modeling in SystemC.There are two main techniques used in the whole modeling process,which consist of starting the platform modeling at the transaction...This paper deals with how to implement AMBA bus transaction level modeling in SystemC.There are two main techniques used in the whole modeling process,which consist of starting the platform modeling at the transaction level and using the uniformed modeling language—System C.According to the concepts of interface,port and hierarchical channel introduced in SystemC 2.0,the system of master-channel(AMBA bus)slave is created as the architecture of the AMBA bus transaction level model,which can make it more extendable.The port and interface classes of the model that are prone to program are defined in accordance with the SoC hierarchical design methodology.In addition,method calls,not signal communication,are used between different modules in the model,so the higher-level abstraction is achieved and the simulation performance is improved.The AMBA bus transaction level model is analyzed and certified by simulation experiment,and proved to be completely compliant to the AMBA specification 2.0.展开更多
This paper provides transaction-level evidence about the impact of capital account liberalization on firms'bond issuance in the international financial market.Using bond issuance data for firms headquartered in Ch...This paper provides transaction-level evidence about the impact of capital account liberalization on firms'bond issuance in the international financial market.Using bond issuance data for firms headquartered in China between 2014 and 2018,we showed that domestic private firms issued more bonds abroad than foreign-invested enterprises afier restrictions were largely relaxed,controlling for possible confounding shocks such as monetary policy,local credit market shocks,US interest rate,carry trade,and global uncertainty shocks measured by the Chicago Board Option Exchange's Volatility Index.We found that domestic firms did not increase the overall volume of bond issuance but just had a higher portion of international bond issuance.We also found that domestic firms with higher tangible asset ratios tended to issue more bonds abroad.Our results suggest that targeted liberalization policy could effectively stimulate firms to issue bonds abroad.Policymakers need to monitor closely firms that issue more bonds abroad and thus have greater exposure to global shocks,incorporate these financial risks into policy design,and safeguard financial stability more effectively.展开更多
The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There ar...The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.展开更多
The increasing complexity of digital systems makes designers begin to design using abstract system level modeling （SLM）. However, SLM brings new challenges for verification engineers to guarantee the functional equi...The increasing complexity of digital systems makes designers begin to design using abstract system level modeling （SLM）. However, SLM brings new challenges for verification engineers to guarantee the functional equivalence between SLM specifications and lower-level implementa- tions such as those of transaction level modeling （TLM）. This paper proposes a novel method for equivalence checking be- tween SLM and TLM based on coverage directed simulation. Our method randomly simulates an SLM model and uses an satisfiability modulo theories （SMT） solver to generate stimuli for the uncovered area with the direction of a com- posite coverage metric （code coverage and functional cover- age）. Then we run all the generated stimuli （random stimuli and direct stimuli） on both SLM and TLM designs. At the same time, the selected observation variables are compared to evaluate the equivalence between SLM and TLM. Promising experimental results show that our equivalence checking method is more efficient with lower simulation cost.展开更多
基金Supported by the National High Teehnology Development 863 Program of China(2002AAlZ1490)
文摘This paper deals with how to implement AMBA bus transaction level modeling in SystemC.There are two main techniques used in the whole modeling process,which consist of starting the platform modeling at the transaction level and using the uniformed modeling language—System C.According to the concepts of interface,port and hierarchical channel introduced in SystemC 2.0,the system of master-channel(AMBA bus)slave is created as the architecture of the AMBA bus transaction level model,which can make it more extendable.The port and interface classes of the model that are prone to program are defined in accordance with the SoC hierarchical design methodology.In addition,method calls,not signal communication,are used between different modules in the model,so the higher-level abstraction is achieved and the simulation performance is improved.The AMBA bus transaction level model is analyzed and certified by simulation experiment,and proved to be completely compliant to the AMBA specification 2.0.
基金the National Natural Science Foundation of China(No.72003181)。
文摘This paper provides transaction-level evidence about the impact of capital account liberalization on firms'bond issuance in the international financial market.Using bond issuance data for firms headquartered in China between 2014 and 2018,we showed that domestic private firms issued more bonds abroad than foreign-invested enterprises afier restrictions were largely relaxed,controlling for possible confounding shocks such as monetary policy,local credit market shocks,US interest rate,carry trade,and global uncertainty shocks measured by the Chicago Board Option Exchange's Volatility Index.We found that domestic firms did not increase the overall volume of bond issuance but just had a higher portion of international bond issuance.We also found that domestic firms with higher tangible asset ratios tended to issue more bonds abroad.Our results suggest that targeted liberalization policy could effectively stimulate firms to issue bonds abroad.Policymakers need to monitor closely firms that issue more bonds abroad and thus have greater exposure to global shocks,incorporate these financial risks into policy design,and safeguard financial stability more effectively.
文摘The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.
文摘The increasing complexity of digital systems makes designers begin to design using abstract system level modeling （SLM）. However, SLM brings new challenges for verification engineers to guarantee the functional equivalence between SLM specifications and lower-level implementa- tions such as those of transaction level modeling （TLM）. This paper proposes a novel method for equivalence checking be- tween SLM and TLM based on coverage directed simulation. Our method randomly simulates an SLM model and uses an satisfiability modulo theories （SMT） solver to generate stimuli for the uncovered area with the direction of a com- posite coverage metric （code coverage and functional cover- age）. Then we run all the generated stimuli （random stimuli and direct stimuli） on both SLM and TLM designs. At the same time, the selected observation variables are compared to evaluate the equivalence between SLM and TLM. Promising experimental results show that our equivalence checking method is more efficient with lower simulation cost.
