首页 > 最新文献

Proceedings Design, Automation and Test in Europe Conference and Exhibition最新文献

英文 中文
From synchronous to asynchronous: an automatic approach 从同步到异步:一种自动方法
Pub Date : 2004-02-16 DOI: 10.1109/DATE.2004.1269092
J. Cortadella, A. Kondratyev, L. Lavagno, K. Lwin, C. Sotiriou
This paper presents a methodology to derive asynchronous circuits from optimized synchronous circuits by replacing the clock distribution tree by a handshaking network. A case study shows the applicability of the method and the potential benefits of de-synchronizing synchronous circuits.
本文提出了一种用握手网络代替时钟分布树,从优化的同步电路推导出异步电路的方法。实例研究表明了该方法的适用性和同步电路去同步的潜在优势。
{"title":"From synchronous to asynchronous: an automatic approach","authors":"J. Cortadella, A. Kondratyev, L. Lavagno, K. Lwin, C. Sotiriou","doi":"10.1109/DATE.2004.1269092","DOIUrl":"https://doi.org/10.1109/DATE.2004.1269092","url":null,"abstract":"This paper presents a methodology to derive asynchronous circuits from optimized synchronous circuits by replacing the clock distribution tree by a handshaking network. A case study shows the applicability of the method and the potential benefits of de-synchronizing synchronous circuits.","PeriodicalId":335658,"journal":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126624747","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
MATLAB/SIMULINK-based high-level synthesis of discrete-time and continuous-time /spl Sigma//spl Delta/ modulators 基于MATLAB/ simulink的离散时间和连续时间/spl Sigma//spl Delta/调制器的高级合成
Pub Date : 2004-02-16 DOI: 10.1109/DATE.2004.1269222
J. Ruiz-Amaya, J. M. de la Rosa, F. Medeiro, F. Fernández, R. del Río, B. Pérez-Verdú, Á. Rodríguez-Vázquez
This paper describes a tool that combines an accurate SIMULINK-based time-domain behavioural simulator with a statistical optimizer for the automated high-level synthesis of /spl Sigma//spl Delta/ modulators (/spl Sigma//spl Delta/Ms). The combination of high accuracy, short CPU time and interoperability of different circuit models together with the efficiency of the optimization engine makes the proposed tool an advantageous alternative for /spl Sigma//spl Delta/M synthesis. The implementation on the well-known MATLAB/SIMULINK platform brings numerous advantages in terms of data manipulation, flexibility and simulation with other electronic subsystems. Moreover, this is the first tool dealing with the synthesis of /spl Sigma//spl Delta/Ms using both discrete-time (DT) and continuous-time (CT) circuit techniques.
本文介绍了一种工具,该工具结合了基于simulink的精确时域行为模拟器和用于/spl Sigma//spl Delta/调制器(/spl Sigma//spl Delta/Ms)的自动高级合成的统计优化器。高精度、CPU时间短、不同电路模型的互操作性以及优化引擎的效率使该工具成为/spl Sigma//spl Delta/M合成的有利替代方案。在著名的MATLAB/SIMULINK平台上实现,在数据处理、灵活性和与其他电子子系统的仿真方面具有许多优点。此外,这是第一个使用离散时间(DT)和连续时间(CT)电路技术处理/spl Sigma//spl Delta/Ms合成的工具。
{"title":"MATLAB/SIMULINK-based high-level synthesis of discrete-time and continuous-time /spl Sigma//spl Delta/ modulators","authors":"J. Ruiz-Amaya, J. M. de la Rosa, F. Medeiro, F. Fernández, R. del Río, B. Pérez-Verdú, Á. Rodríguez-Vázquez","doi":"10.1109/DATE.2004.1269222","DOIUrl":"https://doi.org/10.1109/DATE.2004.1269222","url":null,"abstract":"This paper describes a tool that combines an accurate SIMULINK-based time-domain behavioural simulator with a statistical optimizer for the automated high-level synthesis of /spl Sigma//spl Delta/ modulators (/spl Sigma//spl Delta/Ms). The combination of high accuracy, short CPU time and interoperability of different circuit models together with the efficiency of the optimization engine makes the proposed tool an advantageous alternative for /spl Sigma//spl Delta/M synthesis. The implementation on the well-known MATLAB/SIMULINK platform brings numerous advantages in terms of data manipulation, flexibility and simulation with other electronic subsystems. Moreover, this is the first tool dealing with the synthesis of /spl Sigma//spl Delta/Ms using both discrete-time (DT) and continuous-time (CT) circuit techniques.","PeriodicalId":335658,"journal":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114954109","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
A low cost individual-well adaptive body bias (IWABB) scheme for leakage power reduction and performance enhancement in the presence of intra-die variations 一种低成本的单井自适应体偏置(IWABB)方案,用于在存在模内变化的情况下降低泄漏功率并提高性能
Pub Date : 2004-02-16 DOI: 10.1109/DATE.2004.1268855
Tom W. Chen, Justin Gregg
This paper presents a new method of adapting body biasing on a chip during post-fabrication testing in order to mitigate the effects of process variations. Individual well biasing voltages can be changed to be connected either to a chip wide well bias or to a different bias voltage through a self-regulating mechanism, allowing biasing voltage adjustments on a per well basis. The scheme requires only one bias voltage distribution network, but allows for back biasing adjustments to more effectively mitigate die-to-die and within-die process variations. The biasing setting for each well is determined using a modified genetic algorithm. Our experimental results show that binning yields as low as 17% can be improved to greater than 90% after using the proposed IWABB method.
本文提出了一种在加工后测试过程中调整芯片体偏置的新方法,以减轻工艺变化的影响。单个井的偏置电压可以改变,既可以连接到芯片宽的井偏置,也可以通过自调节机制连接到不同的偏置电压,从而可以在每个井的基础上调整偏置电压。该方案只需要一个偏置电压分配网络,但允许反向偏置调整,以更有效地减轻模对模和模内工艺变化。每口井的偏置设置使用改进的遗传算法确定。我们的实验结果表明,采用IWABB方法后,可以将低至17%的分束率提高到90%以上。
{"title":"A low cost individual-well adaptive body bias (IWABB) scheme for leakage power reduction and performance enhancement in the presence of intra-die variations","authors":"Tom W. Chen, Justin Gregg","doi":"10.1109/DATE.2004.1268855","DOIUrl":"https://doi.org/10.1109/DATE.2004.1268855","url":null,"abstract":"This paper presents a new method of adapting body biasing on a chip during post-fabrication testing in order to mitigate the effects of process variations. Individual well biasing voltages can be changed to be connected either to a chip wide well bias or to a different bias voltage through a self-regulating mechanism, allowing biasing voltage adjustments on a per well basis. The scheme requires only one bias voltage distribution network, but allows for back biasing adjustments to more effectively mitigate die-to-die and within-die process variations. The biasing setting for each well is determined using a modified genetic algorithm. Our experimental results show that binning yields as low as 17% can be improved to greater than 90% after using the proposed IWABB method.","PeriodicalId":335658,"journal":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116059352","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
Simultaneous state, Vt and Tox assignment for total standby power minimization 同时状态,Vt和Tox分配以使总备用功率最小化
Pub Date : 2004-02-16 DOI: 10.1109/DATE.2004.1268894
Dongwook Lee, H. Singh, D. Blaauw, D. Sylvester
Standby leakage current minimization is a pressing concern for mobile applications that rely on standby modes to extend battery life. Also, gate oxide leakage current (I/sub gate/) has become comparable to subthreshold leakage (I/sub sub/) in 90 nm technologies. In this paper, we propose a new method that uses a combined approach of sleep-state, threshold voltage (V/sub t/ and gate oxide thickness (T/sub ox/) assignments in a dual-V/sub t/ and dual-T/sub ox/ process to minimize both I/sub sub/ and I/sub gate/. Using this method, total leakage current can be dramatically reduced since in a known state in standby mode, only certain transistors are responsible for leakage current and need to be considered for high-V/sub t/ or thick-T/sub ox/ assignment. We formulate the optimization problem for simultaneous state, V/sub t/ and T/sub ox/ assignments under delay constraints and propose two practical heuristics. We implemented and tested the proposed methods on a set of synthesized benchmark circuits. Results show an average leakage current reduction of 5a-6X and 2-3X compared to previous approaches that only use state or state+V/sub t/ assignment, respectively, with small delay penalties.
对于依赖待机模式来延长电池寿命的移动应用程序来说,最小化待机漏电流是一个迫切需要关注的问题。此外,栅极氧化物泄漏电流(I/sub gate/)已经可以与90纳米技术中的亚阈值泄漏电流(I/sub sub/)相媲美。在本文中,我们提出了一种新的方法,该方法在双V/sub /和双t/ sub/过程中使用睡眠状态,阈值电压(V/sub t/)和栅极氧化厚度(t/ sub ox/)分配的组合方法来最小化I/sub /和I/sub门/。使用这种方法,总泄漏电流可以显著降低,因为在待机模式的已知状态下,只有某些晶体管负责泄漏电流,需要考虑高v /sub t/或厚t/ sub ox/分配。提出了延迟约束下同步状态V/下标t/和t/下标x/分配的优化问题,并提出了两种实用的启发式方法。我们在一组合成基准电路上实现并测试了所提出的方法。结果显示,与之前仅使用state或state+V/sub / assignment的方法相比,平均泄漏电流减少了5a-6X和2-3X,并且延迟惩罚很小。
{"title":"Simultaneous state, Vt and Tox assignment for total standby power minimization","authors":"Dongwook Lee, H. Singh, D. Blaauw, D. Sylvester","doi":"10.1109/DATE.2004.1268894","DOIUrl":"https://doi.org/10.1109/DATE.2004.1268894","url":null,"abstract":"Standby leakage current minimization is a pressing concern for mobile applications that rely on standby modes to extend battery life. Also, gate oxide leakage current (I/sub gate/) has become comparable to subthreshold leakage (I/sub sub/) in 90 nm technologies. In this paper, we propose a new method that uses a combined approach of sleep-state, threshold voltage (V/sub t/ and gate oxide thickness (T/sub ox/) assignments in a dual-V/sub t/ and dual-T/sub ox/ process to minimize both I/sub sub/ and I/sub gate/. Using this method, total leakage current can be dramatically reduced since in a known state in standby mode, only certain transistors are responsible for leakage current and need to be considered for high-V/sub t/ or thick-T/sub ox/ assignment. We formulate the optimization problem for simultaneous state, V/sub t/ and T/sub ox/ assignments under delay constraints and propose two practical heuristics. We implemented and tested the proposed methods on a set of synthesized benchmark circuits. Results show an average leakage current reduction of 5a-6X and 2-3X compared to previous approaches that only use state or state+V/sub t/ assignment, respectively, with small delay penalties.","PeriodicalId":335658,"journal":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116523619","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
Multi-processor SoC design methodology using a concept of two-layer hardware-dependent software
Pub Date : 2004-02-16 DOI: 10.1109/DATE.2004.1269098
S. Yoo, M. Youssef, A. Bouchhima, A. Jerraya, M. Diaz-Nava
In conventional multiprocessor SoC (MPSoC) design methods, we find two problems: lack of SW code portability and lack of early SW validation. The problems cause a long design cycle. To resolve them, we present a concept of two-layer hardware-dependent software (HdS). The presented HdS consists of hardware abstraction layer to abstract the sub-system architecture and SoC abstraction layer to abstract the global MPSoC architecture. During the exploration of global and sub-system architectures, the application programming interfaces of presented two-layer HdS allow to keep the SW independent from architectural change. The simulation models of two-layer HdS enable to validate the entire system including the SW and HW design early in the design steps. We show the effectiveness of the presented methodology in the MPSoC architecture exploration of an OpenDiVX encoder system design.
在传统的多处理器SoC (MPSoC)设计方法中,我们发现了两个问题:缺乏软件代码的可移植性和缺乏早期的软件验证。这些问题导致了较长的设计周期。为了解决这些问题,我们提出了两层硬件相关软件(HdS)的概念。该系统由硬件抽象层和SoC抽象层两部分组成,硬件抽象层对系统的子系统体系结构进行抽象,SoC抽象层对全局MPSoC体系结构进行抽象。在探索全局和子系统体系结构期间,所提供的两层硬盘的应用程序编程接口允许保持软件独立于体系结构更改。双层硬盘的仿真模型能够在设计步骤的早期验证整个系统,包括软件和硬件设计。我们在OpenDiVX编码器系统设计的MPSoC架构探索中展示了所提出方法的有效性。
{"title":"Multi-processor SoC design methodology using a concept of two-layer hardware-dependent software","authors":"S. Yoo, M. Youssef, A. Bouchhima, A. Jerraya, M. Diaz-Nava","doi":"10.1109/DATE.2004.1269098","DOIUrl":"https://doi.org/10.1109/DATE.2004.1269098","url":null,"abstract":"In conventional multiprocessor SoC (MPSoC) design methods, we find two problems: lack of SW code portability and lack of early SW validation. The problems cause a long design cycle. To resolve them, we present a concept of two-layer hardware-dependent software (HdS). The presented HdS consists of hardware abstraction layer to abstract the sub-system architecture and SoC abstraction layer to abstract the global MPSoC architecture. During the exploration of global and sub-system architectures, the application programming interfaces of presented two-layer HdS allow to keep the SW independent from architectural change. The simulation models of two-layer HdS enable to validate the entire system including the SW and HW design early in the design steps. We show the effectiveness of the presented methodology in the MPSoC architecture exploration of an OpenDiVX encoder system design.","PeriodicalId":335658,"journal":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","volume":"345 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122297946","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Low static-power frequent-value data caches 低静态功率频率值数据缓存
Pub Date : 2004-02-16 DOI: 10.1109/DATE.2004.1268851
Chuanjun Zhang, Jun Yang, F. Vahid
Static energy dissipation in cache memories will constitute an increasingly larger portion of total microprocessor energy dissipation due to nanoscale technology characteristics and the large size of on-chip caches. We propose to reduce the static energy dissipation of an on-chip data cache by taking advantage of the frequent values (FV) that widely exist in a data cache memory. The original FV-based low-power cache design aimed at only reducing dynamic power, at the cost of a 5% slowdown. We propose a better design that reduces both static and dynamic cache power, and that uses a circuit design that eliminates performance overhead. A designer can utilize our architecture by simulating an application and then synthesizing the FVs into an application-specific cache design when values will not change, or by simulating and then writing to an FV-cache with configuration registers when values could change. Furthermore, we describe hardware that can dynamically determine FVs and write to the configuration registers completely transparently. Experiments on 11 Spec 2000 benchmarks show that, in addition to the dynamic power savings, 33% static energy savings for data caches can be achieved.
由于纳米级技术的特点和片上高速缓存的大尺寸,高速缓存中的静态能量消耗将在微处理器总能量消耗中占越来越大的比例。我们建议利用数据缓存中广泛存在的频率值(FV)来减少片上数据缓存的静态能量耗散。原始的基于fv的低功耗缓存设计旨在降低动态功率,代价是5%的减速。我们提出了一种更好的设计,可以减少静态和动态缓存功率,并使用消除性能开销的电路设计。设计人员可以通过模拟应用程序,然后在值不变时将fv合成为特定于应用程序的缓存设计来利用我们的体系结构,或者通过模拟,然后在值可能改变时使用配置寄存器写入fv缓存。此外,我们描述了可以动态确定fv并完全透明地写入配置寄存器的硬件。在11个Spec 2000基准测试上的实验表明,除了动态节能之外,数据缓存还可以实现33%的静态节能。
{"title":"Low static-power frequent-value data caches","authors":"Chuanjun Zhang, Jun Yang, F. Vahid","doi":"10.1109/DATE.2004.1268851","DOIUrl":"https://doi.org/10.1109/DATE.2004.1268851","url":null,"abstract":"Static energy dissipation in cache memories will constitute an increasingly larger portion of total microprocessor energy dissipation due to nanoscale technology characteristics and the large size of on-chip caches. We propose to reduce the static energy dissipation of an on-chip data cache by taking advantage of the frequent values (FV) that widely exist in a data cache memory. The original FV-based low-power cache design aimed at only reducing dynamic power, at the cost of a 5% slowdown. We propose a better design that reduces both static and dynamic cache power, and that uses a circuit design that eliminates performance overhead. A designer can utilize our architecture by simulating an application and then synthesizing the FVs into an application-specific cache design when values will not change, or by simulating and then writing to an FV-cache with configuration registers when values could change. Furthermore, we describe hardware that can dynamically determine FVs and write to the configuration registers completely transparently. Experiments on 11 Spec 2000 benchmarks show that, in addition to the dynamic power savings, 33% static energy savings for data caches can be achieved.","PeriodicalId":335658,"journal":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122427259","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Synthesis of partitioned shared memory architectures for energy-sufficient multi-processor SoC 能量充足的多处理器SoC分区共享内存架构的综合
Pub Date : 2004-02-16 DOI: 10.1109/DATE.2004.1268937
Kimish Patel, E. Macii, M. Poncino
Accesses to the shared memory in multi-processor systems-on-chip represent a significant performance bottleneck. Multi-port memories are a common solution to this problem, because they allow parallel accesses. However, they are not an energy-efficient solution. We propose an energy-efficient shared-memory architecture that can be used as a substitute for multi-port memories, which is based on an application-driven partitioning of the shared address space into a multi-bank architecture. Experiments on a set of parallel benchmarks show energy savings of about 56% with respect to a dual-port memory architecture, at a very limited performance penalty.
在多处理器片上系统中,对共享内存的访问是一个重要的性能瓶颈。多端口存储器是解决这个问题的常用方法,因为它们允许并行访问。然而,它们并不是一种节能的解决方案。我们提出了一种节能的共享内存架构,可以用作多端口内存的替代品,该架构基于应用程序驱动的共享地址空间分区到多银行架构。在一组并行基准测试上的实验表明,相对于双端口内存架构,在非常有限的性能损失下,可以节省大约56%的能源。
{"title":"Synthesis of partitioned shared memory architectures for energy-sufficient multi-processor SoC","authors":"Kimish Patel, E. Macii, M. Poncino","doi":"10.1109/DATE.2004.1268937","DOIUrl":"https://doi.org/10.1109/DATE.2004.1268937","url":null,"abstract":"Accesses to the shared memory in multi-processor systems-on-chip represent a significant performance bottleneck. Multi-port memories are a common solution to this problem, because they allow parallel accesses. However, they are not an energy-efficient solution. We propose an energy-efficient shared-memory architecture that can be used as a substitute for multi-port memories, which is based on an application-driven partitioning of the shared address space into a multi-bank architecture. Experiments on a set of parallel benchmarks show energy savings of about 56% with respect to a dual-port memory architecture, at a very limited performance penalty.","PeriodicalId":335658,"journal":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129596599","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Breaking instance-independent symmetries in exact graph coloring 精确图着色中实例无关对称性的破缺
Arathi Ramani, F. Aloul, I. Markov, K. Sakallah
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Naturally-occurring instances of such problems are often small and can be solved optimally. A recent wave of improvements in algorithms for Boolean satisfiability (SAT) and 0-1 ILP suggests generic problem-reduction methods, rather than problem-specific heuristics, because: (1) heuristics are easily upset by new constraints; (2) heuristics tend to ignore structure; and (3) many relevant problems are provably inapproximable. The NP-spec project offers a language to specify NP-problems and automatic reductions to SAT. Problem reductions often lead to highly symmetric SAT instances, and symmetries are known to slow down SAT solvers. In this work, we compare several avenues for symmetry-breaking, in particular when certain kinds of symmetry are present in all generated instances. Our surprising conclusion is that instance-independent symmetries should often be processed together with instance-specific symmetries rather than earlier, at the specification level.
代码优化和高级综合可以作为约束满足和优化问题,例如寄存器分配中使用的图形着色问题。此类问题的自然发生实例通常很小,并且可以得到最佳解决。最近布尔可满足性(SAT)和0-1 ILP算法的一波改进提出了通用的问题简化方法,而不是特定问题的启发式方法,因为:(1)启发式很容易被新的约束所打乱;(2)启发式倾向于忽略结构;(3)许多相关问题可以证明是不可近似的。NP-spec项目提供了一种语言来指定np问题和自动简化到SAT。问题简化通常会导致高度对称的SAT实例,而对称性会减慢SAT求解速度。在这项工作中,我们比较了几种对称破坏的途径,特别是当某些类型的对称存在于所有生成的实例中时。我们令人惊讶的结论是,独立于实例的对称性通常应该与特定于实例的对称性一起处理,而不是更早地在规范级别上处理。
{"title":"Breaking instance-independent symmetries in exact graph coloring","authors":"Arathi Ramani, F. Aloul, I. Markov, K. Sakallah","doi":"10.1613/jair.1637","DOIUrl":"https://doi.org/10.1613/jair.1637","url":null,"abstract":"Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Naturally-occurring instances of such problems are often small and can be solved optimally. A recent wave of improvements in algorithms for Boolean satisfiability (SAT) and 0-1 ILP suggests generic problem-reduction methods, rather than problem-specific heuristics, because: (1) heuristics are easily upset by new constraints; (2) heuristics tend to ignore structure; and (3) many relevant problems are provably inapproximable. The NP-spec project offers a language to specify NP-problems and automatic reductions to SAT. Problem reductions often lead to highly symmetric SAT instances, and symmetries are known to slow down SAT solvers. In this work, we compare several avenues for symmetry-breaking, in particular when certain kinds of symmetry are present in all generated instances. Our surprising conclusion is that instance-independent symmetries should often be processed together with instance-specific symmetries rather than earlier, at the specification level.","PeriodicalId":335658,"journal":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129773399","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 54
Workload characterization model for tasks with variable execution demand 具有可变执行需求的任务的工作负载表征模型
Pub Date : 2004-02-16 DOI: 10.1109/DATE.2004.1269030
A. Maxiaguine, S. Künzli, L. Thiele
The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world applications the running time of tasks may vary from execution to execution, e.g. in multimedia applications. The traditional worst-case analysis of the system then returns overly pessimistic estimates of the system performance. In this paper we propose a new effective method to characterize tasks with variable execution requirements, which leads to tighter worst-case bounds on system performance and better use of available resources. We show the applicability of our approach by a detailed study of a multimedia application.
嵌入式系统的实时性分析通常依赖于任务的最坏情况执行时间(WCET)。与此相反,在实际应用程序中,任务的运行时间可能因执行而异,例如在多媒体应用程序中。传统的系统最坏情况分析会返回对系统性能过于悲观的估计。在本文中,我们提出了一种新的有效方法来描述具有可变执行需求的任务,从而使系统性能的最坏情况边界更紧,并更好地利用可用资源。我们通过对一个多媒体应用程序的详细研究来证明我们的方法的适用性。
{"title":"Workload characterization model for tasks with variable execution demand","authors":"A. Maxiaguine, S. Künzli, L. Thiele","doi":"10.1109/DATE.2004.1269030","DOIUrl":"https://doi.org/10.1109/DATE.2004.1269030","url":null,"abstract":"The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world applications the running time of tasks may vary from execution to execution, e.g. in multimedia applications. The traditional worst-case analysis of the system then returns overly pessimistic estimates of the system performance. In this paper we propose a new effective method to characterize tasks with variable execution requirements, which leads to tighter worst-case bounds on system performance and better use of available resources. We show the applicability of our approach by a detailed study of a multimedia application.","PeriodicalId":335658,"journal":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130348010","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 83
Circularscan: a scan architecture for test cost reduction Circularscan:用于降低测试成本的扫描架构
Pub Date : 2004-02-16 DOI: 10.1109/DATE.2004.1269073
B. Arslan, A. Orailoglu
Scan-based designs are widely used to decrease the complexity of the test generation process; nonetheless, they increase test time and volume. A new scan architecture is proposed to reduce test time and volume while retaining the original scan input count. The proposed architecture allows the use of the captured response as a template for the next pattern with only the necessary bits of the captured response being updated while observing the full captured response. The theoretical and experimental analysis promises a substantial reduction in test cost for large circuits.
基于扫描的设计被广泛用于降低测试生成过程的复杂性;然而,它们增加了测试时间和测试量。提出了一种新的扫描结构,以减少测试时间和体积,同时保持原有的扫描输入计数。所建议的体系结构允许使用捕获的响应作为下一个模式的模板,在观察完整捕获的响应时,只更新捕获响应的必要部分。通过理论和实验分析,可以大大降低大型电路的测试成本。
{"title":"Circularscan: a scan architecture for test cost reduction","authors":"B. Arslan, A. Orailoglu","doi":"10.1109/DATE.2004.1269073","DOIUrl":"https://doi.org/10.1109/DATE.2004.1269073","url":null,"abstract":"Scan-based designs are widely used to decrease the complexity of the test generation process; nonetheless, they increase test time and volume. A new scan architecture is proposed to reduce test time and volume while retaining the original scan input count. The proposed architecture allows the use of the captured response as a template for the next pattern with only the necessary bits of the captured response being updated while observing the full captured response. The theoretical and experimental analysis promises a substantial reduction in test cost for large circuits.","PeriodicalId":335658,"journal":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126924633","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 55
期刊
Proceedings Design, Automation and Test in Europe Conference and Exhibition
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1