首页>外文会议>1st workshop on modules and libraries for proof assistants 2009

1st workshop on modules and libraries for proof assistants 2009

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Call for Papers DATE 2005

机译：2005年DATE征集论文
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
2.Opportunities and Challenges in Building Silicon Products in 65nm and Beyond

机译：在65nm及以后制造硅产品的机遇与挑战
- 作者：Gregory S. Spirakis
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
3.DATE Sponsors Committee

机译：DATE赞助商委员会
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
4.A New Self-Checking Sum-Bit Duplicated Carry-Select Adder

机译：一种新的自校验和位重复进位选择加法器
- 作者：E. S. Sogomonyan;D. Marienfeld;V. Ocheretnij;M. Gossel;PE. S. Sogomonyan;PD. Marienfeld;PV. Ocheretnij;PM. Gossel
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
5.From Working Design Flow to Working Chips

机译：从工作设计流程到工作芯片
- 作者：Robert Aitken;Fidel Muradali;PRobert Aitken;PFidel Muradali
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
6.Package Design for High Performance ICs

机译：高性能IC的封装设计
- 作者：Sanjay Dandia
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
7.Best Paper Awards

机译：最佳论文奖
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
8.A Unified Design Space for Regular Parallel Prefix Adders

机译：常规并行前缀加法器的统一设计空间
- 作者：Matthew M. Ziegler;Mircea R. Stan;PMircea R. Stan
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
- parallel prefix adder, Kogge-Stone adder, Han-Carlson adder, Brent-Kung adder;
9.Multi-Processor SoC Design Methodology Using a Concept of Two-Layer Hardware-Dependent Software

机译：使用两层硬件相关软件概念的多处理器SoC设计方法论
- 作者：Sungjoo Yoo;Mohamed-Wassim Youssef;Aimen Bouchhima;Ahmed A. Jerraya;Mario Diaz-Nava;PSungjoo Yoo;PAimen Bouchhima;PAhmed A. Jerraya
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
10.A Digital Test for First-Order Sigma-Delta Modulators

机译：一阶Σ-调制器的数字测试
- 作者：Gildas Leger;Adoracion Rueda
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
11.MODD

机译：模式
- 作者：Abusaleh M. Jabir;Dhiraj K. Pradhan
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
12.Foreword

机译：前言
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
13.Formal Verification Coverage

机译：正式验证范围
- 作者：Prasenjit Basu;Sayantan Das;Pallab Dasgupta;P. P. Chakrabarti;Chunduri Rama Mohan;Limor Fix;PPallab Dasgupta;PP. P. Chakrabarti;PChunduri Rama Mohan;PLimor Fix
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
14.Test Compression and Hardware Decompression for Scan-Based SoCs

机译：基于扫描的SoC的测试压缩和硬件解压缩
- 作者：Francis G. Wolff;Chris Papachristou;David R. McIntyre;PFrancis G. Wolff;PChris Papachristou
- 会议名称：《》 | 2009年
15.Trim Bit Setting of Analog Filters Using Wavelet-Based Supply Current Analysis

机译：基于小波的电源电流分析模拟滤波器的微调位设置
- 作者：Swarup Bhunia;Arijit Raychowdhury;Kaushik Roy;PArijit Raychowdhury;PKaushik Roy
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
- Wavelet Transform, Analog Filer, Trim Bit, Dynamic Supply Current (IDD);
16.Synthesis of Partitioned Shared Memory Architectures for Energy-Efficient Multi-Processor SoC

机译：节能多处理器SoC的分区共享内存架构的综合
- 作者：Kimish Patel;Enrico Macii;Massimo Poncino;PKimish Patel;PEnrico Macii;PMassimo Poncino
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
17.Concurrent Sizing, Vdd and Vth Assignment for Low-Power Design

机译：低功耗设计的同时调整大小，Vdd和Vth分配
- 作者：Ashish Srivastava;Dennis Sylvester;David Blaauw;PAshish Srivastava;PDennis Sylvester;PDavid Blaauw
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
18.STEPS

机译：脚步
- 作者：M. Benabdenbi;A. Greiner;F. Pecheux;E. Viaud;M. Tuna;PM. Benabdenbi;PA. Greiner;PM. Tuna
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
19.A Tunneling Model for Gate Oxide Failure in Deep Sub-Micron Technology

机译：深亚微米技术中氧化栅失效的隧穿模型
- 作者：S. Bernardini;J. M. Portal;P. Masson;PS. Bernardini;PJ. M. Portal;PP. Masson
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
20.A Direct Bootstrapped CMOS Large Capacitive-Load Driver Circuit

机译：直接自举CMOS大电容负载驱动器电路
- 作者：Jose C. Garcia;Juan A. Montiel-Nelson;J. Sosa;Hector Navarro;PJ. Sosa
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
21.Systematic Design for Optimization of High-Resolution Pipelined ADCs

机译：优化高分辨率流水线ADC的系统设计
- 作者：Mohammad Taherzadeh-Sani;Reza Lotfi;Omid Shoaei;PReza Lotfi;POmid Shoaei
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
22.A Tool for Automatic Generation of RTL-Level VHDL Description of RNS FIR Filters

机译：自动生成RTL级VHDL的工具RNS FIR滤波器的描述
- 作者：A. Del Re;A. Nannarelli;M. Re;PA. Nannarelli;PM. Re
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
23.Behavioural Bitwise Scheduling Based on Computational Effort Balancing

机译：基于计算努力平衡的行为按位调度
- 作者：M. C. Molina;R. Ruiz-Sautua;J. M. Mendias;R. Hermida;PM. C. Molina;PR. Hermida
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
24.CMOS Structures Suitable for Secured Hardware

机译：适用于安全硬件的CMOS结构
- 作者：Sylvain Guilley;Philippe Hoogvorst;Yves Mathieu;Renaud Pacalet;Jean Provost;PRenaud Pacalet
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
25.Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models

机译：面向对象模型的片上网络实现中的无开销多态性
- 作者：Maziar Goudarzi;Shaahin Hessabi;Alan Mycroft;PMaziar Goudarzi;PShaahin Hessabi;PAlan Mycroft
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
26.Profile Guided Management of Code Partitions for Embedded Systems

机译：配置文件引导的嵌入式系统代码分区管理
- 作者：Shukang Zhou;Bruce R. Childers;Naveen Kumar;PShukang Zhou;PNaveen Kumar
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
27.Synthesis of Reversible Logic

机译：可逆逻辑综合
- 作者：Abhinav Agrawal;Niraj K. Jha
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
28.Technical Program Chairs

机译：技术计划主席
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
29.DATE Executive Committee

机译：DATE执行委员会
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
30.Statistically Aware Buffer Planning

机译：统计感知缓冲区规划
- 作者：Giuseppe S. Garcea;Nick P. van der Meijs;Kees-Jan van der Kolk;Ralph H. J. M. Otten
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
31.Timing Correction and Optimization with Adaptive Delay Sequential Elements

机译：自适应延迟顺序元素的时序校正和优化
- 作者：Kambiz Rahimi;Seth Bridges;Chris Diorio;PSeth Bridges;PChris Diorio
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
32.Testing of Quantum Dot Cellular Automata Based Designs

机译：基于量子点元胞自动机的设计测试
- 作者：Mehdi Baradaran Tahoori;Fabrizio Lombardi;PMehdi Baradaran Tahoori;PFabrizio Lombardi
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
33.Sizing and Characterization of Leakage-Control Cells for Layout-Aware Distributed Power-Gating

机译：布局感知的分布式电源门控泄漏控制单元的尺寸和特性
- 作者：Pietro Babighian;Luca Benini;Enrico Macii;PPietro Babighian;PLuca Benini;PEnrico Macii
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
34.Net and Pin Distribution for 3D Package Global Routing

机译：3D封装全局布线的网络和引脚分配
- 作者：Jacob R. Minz;Mohit Pathak;Sung Kyu Lim
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
35.Realizable Reduction for Electromagnetically Coupled RLMC Interconnects

机译：电磁耦合RLMC互连的可实现降低
- 作者：Rong Jiang;Charlie Chung-Ping Chen;PRong Jiang;PCharlie Chung-Ping Chen
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
36.Design and Behavioral Modeling Tools for Optical Network-on-Chip

机译：片上光网络的设计和行为建模工具
- 作者：M. Briere;L. Carrel;T. Michalke;F. Mieyeville;I. OConnor;F. Gaffiot;PF. Mieyeville;PI. OConnor;PF. Gaffiot
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
37.Organizing Libraries of DFG Patterns

机译：组织DFG模式库
- 作者：Gero Dittmann;PGero Dittmann
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
38.SoC Test Scheduling with Power-Time Tradeoff and Hot Spot Avoidance

机译：具有电源时间权衡和避免热点的SoC测试计划
- 作者：James Chin;Mehrdad Nourani;PJames Chin;PMehrdad Nourani
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
39.Compositional Memory Systems for Data Intensive Applications

机译：用于数据密集型应用的成分存储系统
- 作者：A. M. Molnos;M. J. M. Heijligers;S. D. Cotofana;J. T. J. van Eijndhoven;PM. J. M. Heijligers;PS. D. Cotofana;PJ. T. J. van Eijndhoven
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
40.A Fast Algorithm for Finding Maximal Empty Rectangles for Dynamic FPGA Placement

机译：查找动态FPGA放置的最大空矩形的快速算法
- 作者：Manish Handa;Ranga Vemuri;PRanga Vemuri
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
41..NET Framework -- A Solution for the Next Generation Tools for System-Level Modeling and Simulation

机译：.NET Framework-用于系统级建模和仿真的下一代工具的解决方案
- 作者：J. Lapalme;E. M. Aboulhamid;G. Nicolescu;L. Charest;F. R. Boyer;J. P. David;G. Bois;PE. M. Aboulhamid;PG. Nicolescu;PL. Charest;PJ. P. David;PG. Bois
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
42.Scalar Metric for Temporal Locality and Estimation of Cache Performance

机译：时间局部性的标量度量和缓存性能估计
- 作者：Juha Alakarhu;Jarkko Niittylahti
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
43.Efficient Mixed-Domain Behavioural Modeling of Ferromagnetic Hysteresis Implemented in VHDL-AMS

机译：在VHDL-AMS中实现铁磁滞回的高效混合域行为建模
- 作者：Peter R. Wilson;J. Neil Ross;Andrew D. Brown;Tom Kazmierski;Jerzy Baranowski;PPeter R. Wilson;PTom Kazmierski
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
44.Modeling and Simulating Memory Hierarchies in a Platform-Based Design Methodology

机译：在基于平台的设计方法中建模和模拟内存层次结构
- 作者：Pablo Viana;Edna Barros;Sandro Rigo;Rodolfo Azevedo;Guido Araujo;PEdna Barros;PSandro Rigo
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
45.Integrating the Synchronous Dataflow Model with UML

机译：将同步数据流模型与UML集成
- 作者：Peter Green;Salah Essa;PPeter Green
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
46.An Asynchronous Synthesis Toolset Using Verilog

机译：使用Verilog的异步综合工具集
- 作者：Frank Burns;Delong Shang;Albert Koelmans;Alex Yakovlev;PAlex Yakovlev
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
47.Enhancing Reliability of Operational Interconnections in FPGAs

机译：增强FPGA中操作互连的可靠性
- 作者：Alex Fit-Florea;Miroslav Halas;Fatih Kocan
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
48.Operating System Support for Interface Virtualisation of Reconfigurable Coprocessors

机译：操作系统支持可重配置协处理器的接口虚拟化
- 作者：Miljan Vuleti;Ludovic Righetti;Laura Pozzi;Paolo Ienne;PLudovic Righetti;PLaura Pozzi;PPaolo Ienne
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
49.Hierarchical Modeling and Simulation of Large Analog Circuits

机译：大型模拟电路的分层建模和仿真
- 作者：Sheldon X. -D. Tan;Zhenyu Qi;Hang Li;PZhenyu Qi;PHang Li
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
50.Are Our Design for Testability Features Fault Secure?

机译：我们的可测性设计是否安全可靠？
- 作者：C. Metra;T. M. Mak;M. Omana;PC. Metra;PT. M. Mak
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
51.A Game Theoretic Approach to Low Energy Wireless Video Streaming

机译：低能耗无线视频流的博弈论方法
- 作者：Ali Iranli;Kihwan Choi;Massoud Pedram;PKihwan Choi;PMassoud Pedram
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
52.A 0.18 μm CMOS Implementation of On-chip Analogue Test Signal Generation from Digital Test Patterns

机译：通过数字测试图案生成片上模拟测试信号的0.18μmCMOS实现
- 作者：Luis Rolindez;Salvador Mir;Guillaume Prenat;Ahcene Bounceur;PSalvador Mir
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
53.Block-Enabled Memory Macros

机译：启用块的内存宏
- 作者：Luca Benini;Alessandro Ivaldi;Alberto Macii;Enrico Macii;PLuca Benini;PAlberto Macii;PEnrico Macii
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
54.A Low Power Strategy for Future Mobile Terminals

机译：未来移动终端的低功耗策略
- 作者：Mladen Nikitovic;Mats Brorsson
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
55.Functional Coverage Metric Generation from Temporal Event Relation Graph

机译：从时间事件关系图生成功能覆盖率度量
- 作者：Young-Su Kwon;Chong-Min Kyung;PYoung-Su Kwon;PChong-Min Kyung
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
56.Regression Simulation

机译：回归模拟
- 作者：Li-C. Wang;PLi-C. Wang
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
57.Functional Level Power Analysis

机译：功能级功率分析
- 作者：Johann Laurent;Nathalie Julien;Eric Senn;Eric Martin;PNathalie Julien;PEric Senn;PEric Martin
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
58.Automatic Scan Insertion and Pattern Generation for Asynchronous Circuits

机译：异步电路的自动扫描插入和模式生成
- 作者：Aristides Efthymiou;Christos Sotiriou;Douglas Edwards;PAristides Efthymiou;PDouglas Edwards
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
59.Co-Processor Synthesis

机译：协处理器合成
- 作者：Ben Hounsell;Richard Taylor;PRichard Taylor
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
60.Automatic Synthesis and Simulation of Continuous-Time Sigma-Delta Modulators

机译：连续时间∑-Δ调制器的自动综合和仿真
- 作者：H. Aboushady;L. de Lamarre;N. Beilleau;M. M. Louerat
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
61.On Transfer Function and Power Consumption Transient Response

机译：传递函数与功耗瞬态响应
- 作者：Lipeng Cao;PLipeng Cao
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
62.Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits

机译：多项式抽象，用于验证顺序实现的组合电路
- 作者：Tarvo Raudvere;Ashish Kumar Singh;Ingo Sander;Axel Jantsch;PIngo Sander;PAxel Jantsch
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
63.Decomposition of Instruction Decoder for Low Power Design

机译：低功耗设计的指令解码器的分解
- 作者：Wu-An Kuo;TingTing Hwang;Allen C. -H. Wu;PTingTing Hwang
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
64.A Methodology for System-Level Analog Design Space Exploration

机译：系统级模拟设计空间探索的方法论
- 作者：F. De Bernardinis;A. Sangiovanni-Vincentelli;PF. De Bernardinis;PA. Sangiovanni-Vincentelli
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
65.Placement Using a Localization Probability Model (LPM)

机译：使用本地化概率模型（LPM）进行放置
- 作者：Markus Olbrich;Erich Barke
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
66.Power Supply Noise Monitor for Signal Integrity Faults

机译：电源噪声监控器，用于信号完整性故障
- 作者：Josep Rius Vazquez;Jose Pineda de Gyvez;PJosep Rius Vazquez
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
67.Modeling and Analysis of Heterogeneous Industrial Networks Architectures

机译：异构工业网络架构的建模与分析
- 作者：F. Fummi;S. Martini;M. Monguzzi;G. Perbellini;M. Poncino;PF. Fummi;PS. Martini;PG. Perbellini;PM. Poncino
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
68.A Demonstration of Co-Design and Co-Verification in a Synchronous Language

机译：同步语言中的协同设计和协同验证演示
- 作者：Satnam Singh;PSatnam Singh
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
69.Model-Based Specification and Execution of Embedded Real-Time Systems

机译：嵌入式实时系统的基于模型的规范和执行
- 作者：Tim Schattkowsky;Wolfgang Mueller;PWolfgang Mueller
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
70.An Application of Parallel Discrete Event Simulation Algorithms to Mixed Domain System Simulation

机译：并行离散事件仿真算法在混合域系统仿真中的应用
- 作者：D. K. Reed;S. P. Levitan;J. Boles;J. A. Martinez;D. M. Chiarulli;PS. P. Levitan;PJ. A. Martinez;PD. M. Chiarulli
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
71.Accurate Estimation of Parasitic Capacitances in Analog Circuits

机译：模拟电路中寄生电容的准确估算
- 作者：Anuradha Agarwal;Hemanth Sampath;Veena Yelamanchili;Ranga Vemuri;PRanga Vemuri
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
72.High-Performance QuIDD-Based Simulation of Quantum Circuits

机译：基于高性能QuIDD的量子电路仿真
- 作者：George F. Viamontes;Igor L. Markov;John P. Hayes;PGeorge F. Viamontes;PJohn P. Hayes
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
73.Dynamic Voltage and Cache Reconfiguration for Low Power

机译：动态电压和缓存重新配置以实现低功耗
- 作者：Andre C. Nacul;Tony Givargis;PTony Givargis
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
74.Data Windows

机译：日期视窗
- 作者：Jayaprakash Pisharath;Alok Choudhary;Mahmut Kandemir
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
75.A Macromodelling Methodology for Efficient High-Level Simulation of Substrate Noise Generation

机译：高效建模基板噪声的宏观建模方法
- 作者：Luis Elvira;Ferran Martorell;Xavier Aragones;Jose Luis Gonzalez
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
76.Issues in Implementing Latency Insensitive Protocols

机译：实施延迟不敏感协议的问题
- 作者：Mario R. Casu;Luca Macchiarulo
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
77.VHDL-AMS Library Development for Pacemaker Applications

机译：用于起搏器应用程序的VHDL-AMS库开发
- 作者：B. Hecker;M. Chavassieux;M. Laflutte;E Beguin;L. Lagasse;J. Oudinot
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
78.Can IP Quality be Objectively Measured?

机译：可以客观地衡量IP质量吗？
- 作者：Kathy Werner;PKathy Werner
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
79.Building the Hierarchy from a Flat Netlist for a Fast and Accurate Post-Layout Simulation with Parasitic Components

机译：从平面网表构建层次结构，以利用寄生元件进行快速，准确的布局后仿真
- 作者：Pierluigi Daglio;David Iezzi;Danilo Rimondi;Carlo Roma;Salvatore Santapa
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
80.Improving Design and Verification Productivity with VHDL-200x

机译：使用VHDL-200x提高设计和验证的生产率
- 作者：Stephen Bailey;Erich Marschner;J. Bhasker;Jim Lewis;Peter Ashenden;PStephen Bailey;PErich Marschner;PJ. Bhasker
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
81.Enhancing Testability of System on Chips Using Network Management Protocols

机译：使用网络管理协议增强片上系统的可测试性
- 作者：O. Laouamri;C. Aktouf;PC. Aktouf
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
82.Fault Tolerance of Programmable Switch Blocks

机译：可编程开关模块的容错
- 作者：J. Huang;M. B. Tahoori;F. Lombardi;PJ. Huang;PM. B. Tahoori;PF. Lombardi
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
83.Adaptive Prefetching for Multimedia Applications in Embedded Systems

机译：嵌入式系统中多媒体应用的自适应预取
- 作者：Hassan Sbeyti;Smail Niar;Lieven Eeckhout;PSmail Niar;PLieven Eeckhout
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
84.GRAAL -- A Development Framework for Embedded Graphics Accelerators

机译：GRAAL-嵌入式图形加速器的开发框架
- 作者：D. Crisu;S. D. Cotofana;S. Vassiliadis;P. Liuha;PS. D. Cotofana;PS. Vassiliadis;PP. Liuha
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
85.Minimization of Crosstalk Noise, Delay and Power Using a Modi.ed Bus Invert Technique

机译：使用改进的总线反相技术将串扰噪声，延迟和功率降至最低
- 作者：Matheos Lampropoulos;Bashir M. Al-Hashimi;Paul Rosinger;PBashir M. Al-Hashimi;PPaul Rosinger
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
86.Energy-Efficient Design for Highly Associative Instruction Caches in Next-Generation Embedded Processors

机译：下一代嵌入式处理器中高度关联的指令高速缓存的节能设计
- 作者：Juan Luis Aragon;Dan Nicolaescu;Alex Veidenbaum;Ana-Maria Badulescu;PAlex Veidenbaum
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
87.IP Testing -- The Future Differentiator?

机译：IP测试-未来的差异化因素？
- 作者：Bill Eklow;PBill Eklow
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
88.Systems on Chips Design

机译：片上系统设计
- 作者：Veikko Loukusa;Helena Pohjonen;Antti Ruha;Tarmo Ruotsalainen;Olli Varkki
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
89.Designers' Forum Committee

机译：设计师论坛委员会
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
90.From Synchronous to Asynchronous

机译：从同步到异步
- 作者：J. Cortadella;A. Kondratyev;L. Lavagno;K. Lwin;C. Sotiriou;PJ. Cortadella;PL. Lavagno
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
91.Reviewers

机译：审稿人
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
92.Master Courses

机译：硕士课程
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
93.Author Index

机译：作者索引
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
94.High Security Smartcards

机译：高安全性智能卡
- 作者：M. Renaudin;F. Bouesse;Ph. Proust;J. P. Tual;L. Sourgen;F. Germain;PM. Renaudin;PJ. P. Tual
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
95.Steady-State Analysis of Nonlinear Circuits Using Discrete Singular Convolution Method

机译：基于离散奇异卷积方法的非线性电路稳态分析
- 作者：Xin Zhou;Dian Zhou;Jin Liu;Ruiming Li;Xuan Zeng;Charles Chiang;PXin Zhou;PDian Zhou;PJin Liu;PXuan Zeng;PCharles Chiang
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
96.An Inductance Modeling Flow Seamlessly Integrated in the RF IC Design Chain

机译：无缝集成在RF IC设计链中的电感建模流程
- 作者：Sotiris Bantas;Yorgos Koutsoyannopoulos;Apostolos Liapis
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
97.A 16 Bit + Sign Monotonic Precise Current DAC for Sensor Applications

机译：适用于传感器应用的16位+符号单调精密电流DAC
- 作者：Pavel Horsky
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
98.RTL Processor Synthesis for Architecture Exploration and Implementation

机译：用于架构探索和实现的RTL处理器综合
- 作者：Oliver Schliebusch;A. Chattopadhyay;R. Leupers;G. Ascheid;H. Meyr;Mario Steinert;Gunnar Braun;Achim Nohl;POliver Schliebusch;PA. Chattopadhyay;PR. Leupers;PG. Ascheid;PH. Meyr
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
99.Design of a proof repository architecture

机译：证明存储库体系结构的设计
- 作者：Michael Franssen;Mark van den Brand
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年
- component architecture;
- repository;
- theorem database;
- theorem proving;
100.Wrapper Design for Testing IP Cores with Multiple Clock Domains

机译：用于测试具有多个时钟域的IP内核的封装设计
- 作者：Qiang Xu;Nicola Nicolici;PQiang Xu;PNicola Nicolici
- 会议名称：《1st workshop on modules and libraries for proof assistants 2009》 | 2009年