Assertion based design_and:Including:Assertion methdology,Specifyingg RTL Properties, PLI-Based Assertions Functional coverage
资源简介:Assertion based design_and:Including:Assertion methdology,Specifyingg RTL Properties, PLI-Based Assertions Functional coverage
上传时间: 2015-09-09
上传用户:xinzhch
资源简介:CheckMate is a MATLAB-based tool for modeling, simulating and investigating properties of hybrid dynamic systems. Hybrid systems are modeled using the Simulink graphical user interface (GUI). Parameters and specifications are entered using ...
上传时间: 2013-12-13
上传用户:源弋弋
资源简介:on symbol timing for ofdm based mobile communication system on symbol timing for ofdm based mobile communication system
上传时间: 2013-12-27
上传用户:894898248
资源简介:Resource allocation is an important issue in wireless communication networks. In recent decades, cognitive radio technology and cognitive radio-based networks have obtained more and more attention and have been well studied to improve spect...
上传时间: 2020-06-07
上传用户:shancjb
资源简介:fpga based jpge 压缩算法,性能不错
上传时间: 2022-06-24
上传用户:hao123
资源简介:为了提高直接转矩控制(DTC)系统定子磁链估计精度,降低电流、电压测量的随机误差,提出了一种基于扩展卡尔曼滤波(EKF)实现异步电机转子位置和速度估计的方法。扩展卡尔曼滤波器是建立在基于旋转坐标系下由定子电流、电压、转子转速和其它电机参量所构成的...
上传时间: 2015-01-02
上传用户:qingdou
资源简介:This paper introduces an affine invariant of trapezia, and the explicit constraint equation between the intrinsic matrix of a camera and the similarity invariants of a trapezium are established using the affine invariant. By this constraint...
上传时间: 2014-01-16
上传用户:6546544
资源简介:KML is an XML grammar used to encode and transport representations of geographic data for display in an earth browser. Put simply: KML encodes what to show in an earth browser, and how to show it. KML uses a tag-based structure with nested ...
上传时间: 2014-01-12
上传用户:thesk123
资源简介:A total solution for INFRARED based on PIC16F84 using PICBASIC compiler including source
上传时间: 2014-08-13
上传用户:miaochun888
资源简介:this ia a cppp code file including SIFT and other algrithms based in opcv
上传时间: 2016-05-09
上传用户:xz85592677