Verification of instruction set specification for an ASIP

来源 :Journal of Harbin Institute of Technology | 被引量 : 0次 | 上传用户:storm369
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In order to gain the great performance of ASIP,this paper discusses different aspects of an ASIP instruction set specification like syntax,encoding,constraints as well as behaviors,and introduces our ADL model based methodology to check them.The automatic
其他文献
【正】 对于年青一代的中国读者,爱伦·坡(Edgar Allan Poe,1809—1849)大概是一个比较陌生的名字,然而,读过他的作品的人,都会有一种欲忘而不能的印象。他是一个短篇小
To avoid the complexity and inefficiency for specific applications of the current software architecture, a novel approach using partial evaluation is proposed t
A revised support vector regression (SVR) ensemble model based on boosting algorithm (SVR-Boosting) is presented in this paper for electricity price forecasting
Aiming at the unsatisfactory dynamic performances of conventional model predictive control (MPC) in a highly nonlinear process, a scheme employed the fuzzy neur
To make the on-board computer system more dependable and real-time in a satellite, an algorithm of the fault-tolerant scheduling in the on-board computer system
每个人的修养、境界各不相同,所谓“修身齐家治国平天下”,中国人讲究做事先做人。本文将做人分为五种境界进行论析,为提升人的修养境界提供参考。
为了提高档案工作知名度,重庆市中区档案局于3月13日结合学雷锋热潮,走上街头,积极开展档案业务知识宣传咨询活动,收到较好社会效果。 档案业务咨询在我区毕竟是首次。区档案
Focused on finding out the relationship between passenger demands of P&R and its influencing factors, a nested-logit mode choice model was developed based on th
马克思的知识观是辩证唯物主义知识观,自然是知识的来源,实践是获得知识的基础。事物之间客观的联系是知识普遍有效性的保证,辩证的叙述是破除知性独断论的方法。