基于断言的模拟矢量自动生成方法
·VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,...
矢量化技术,作为电子设计自动化(EDA)中的核心环节,通过将图形数据转换为数学向量表达,极大提升了电路板布局与布线的精度和效率。广泛应用于PCB设计、集成电路开发及各类电子系统集成项目中。掌握矢量化技能不仅能够帮助工程师优化设计方案,还能显著提高工作效率。本页面汇集了298个精选矢量化资源,涵盖从基...
·VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,...
·摘要: 本文运用矢量控制并结合空间电压矢量调制技术,开发了以TI公司的电机控制专用DSP芯片TMS320LF2407为核心的、低成本、调速性能好的变频调速系统,设计了控制系统的软件部分,给出了矢量控制系统软件流程和各子模块的具...
· 摘要: 介绍了利用MATLAB/SIMULINK来建立空间矢量PWM的无速度传感器矢量控制系统仿真模型的方法,并进行了实际仿真,仿真结果证明该系统具有超调量小、稳定性好、调速范围宽、响应速度快等优点,且模型直观,不...
这是一个向量量子化的程序,且生成两种运行环境,Dos界面以及linux环境。有三个文件,lvq.zip为源码,Winlvq为Dos运行界面,另外一个为linux运行环境。