检索结果-内蒙古大学图书馆

18th IEEE International High Level design Validation and Test Workshop, HLDVT 2016

作者： Mandouh, Eman El Wassal, Amr G. Mentor Graphics Corporation Design Verification Technology Egypt Computer Engineering Department Cairo University Egypt

ISBN: (纸本)9781509042708

Formal Verification is a computationally expensive step in the verification of today's complex hardware designs. Effective results can be obtained from formal runs by planning ahead the effort and cost that are required for them. Additionally estimating in-advance the expected formal's complexity promotes a lot of potential tricks and clever setup techniques to overcome the initial push-button capacity limitation of the formal verifies and improve their capabilities to handle designs with higher complexity. This paper illustrates the application of regression machine learning (ML) techniques to build an estimation model for the cost of formal verification. Up to 10,000 formal verification runs on RTL designs with good varieties of design/properties attributes are used to learn the relationship between HW designs and the final formal cost in terms of formal run time. We demonstrate the use of Ridge-Regression to decide on the bias-variance trade-off during the regression-model design step as well as the application of Lasso-Regression for the feature selection phase. Finally a comparison between the proposed multiple linear regression approach and another non-parametric K-nearest neighbors kernel based regression technique is done to conclude on the presented work. Our results indicate how the proposed model managed to estimate with reasonable error ratio the expected formal verification effort for new-to-verify HW designs. © 2016 IEEE.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Models of personality and activities of remotely piloted aircraft system's operator 4

Models of personality and activities of remotely piloted air...

引用

4th IEEE International Conference Methods and Systems of Navigation and Motion Control, MSNMC 2016

作者： Shmelova, T.F. Kovaljov, Y.M. Shostak, O.V. Air Navigation Systems Department National Aviation University Kyiv Ukraine Department of Computer Graphics and Design Technology National Aviation University Kyiv Ukraine

ISBN: (纸本)9781509010530

On the basis of the theory of S-space selforganization, the following have been presented: operator's personality model;classification of psychological (personality) types;means of testing;processing and presentation of results. On the basis of Markov's network decision-making models were proposed taking into consideration the circumstances of various flight situations. On the basis of the reflexive theory of bipolar choice the expected risks of decision-making by the Air Navigation System's operator influence of external environment, previous experience and intention were identified. The methods for analysis of decision-making by the human-operator in Air Navigation System using stochastic networks have been developed. © 2016 IEEE.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Supporting student attainment and management of competencies in a trans-disciplinary degree program 123

Supporting student attainment and management of competencies...

引用

123rd ASEE Annual Conference and Exposition

作者： Van Epps, Amy S. Ashby, Iryna Gray, Colin M. Exter, Marisa Purdue University Department of Library Science and Engineering Librarian West Lafayette United States Purdue University Learning Design and Technology Program West Lafayette United States Purdue University Department of Computer Graphics Technology West Lafayette United States Department of Learning Design and Technology College of Education Purdue University West Lafayette United States

In Fall 2014, a large Midwestern land-grant research university piloted a competency-based model as the foundation for an undergraduate transdisciplinary program focusing on connecting engineering and technology with humanities and social sciences. Students enrolled in this program progress through a set of competencies that require them to master cross-disciplinary and cross-functional skills needed to be successful in a 21stcentury workplace. Now in its second year, the competency-based program has undergone significant changes that include a more substantial definition of competencies at each of the three levels of competence (developing, emerging, and proficient), scaffolding needed to support students on their path towards gaining competencies, and significant mentoring by faculty, TAs, and professional advisers to support competency attainment. In this paper, we will share challenges and discoveries made by the faculty throughout the first two years of the novel Competency-Based Education (CBE) experience, including a reflection on how such experiences impacted modifications of the CBE model from Year 1 to Year 2, the ways in which the program supported individual attainment and management of competencies by students, and the value of the mentorship program in supporting student-driven learning paths. We will also share insights into students' perceptions of the benefits, challenges, and frustrations of being part of this pilot program based on interview and survey data provided by the 33 members of the initial cohort. This overview of the ways this program supported students in attaining competencies through coursework, individual mentoring, and scaffolding may be instructive as institutions seek to bring CBE to scale and increase holistic student learning for the 21stcentury. © American Society for Engineering Education, 2016.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Estimation of formal verification cost using regression machine learning

Estimation of formal verification cost using regression mach...

引用

IEEE International High-Level design Validation and Test Workshop

作者： Eman El Mandouh Amr G. Wassal Mentor Graphics Corporation Design Verification Technology Computer Engineering Department Cairo University Egypt

关键词： Formal verification Complexity theory Data models Mathematical model Cost function Feature extraction Training

来源：评论

学校读者我要写书评

暂无评论

Models of personality and activities of remotely piloted aircraft system's operator

Models of personality and activities of remotely piloted air...

引用

IEEE International Conference on Methods and Systems of Navigation and Motion Control (MSNMC)

作者： T.F. Shmelova Y.M. Kovaljov O.V. Shostak Air Navigation Systems Department National Aviation University Kyiv Ukraine Department of Computer Graphics and Design Technology National Aviation University Kyiv Ukraine

ISBN: (纸本)9781509010547

On the basis of the theory of S-space self-organization, the following have been presented: operator's personality model; classification of psychological (personality) types; means of testing; processing and presentation of results. On the basis of Markov's network decision-making models were proposed taking into consideration the circumstances of various flight situations. On the basis of the reflexive theory of bipolar choice the expected risks of decision-making by the Air Navigation System's operator influence of external environment, previous experience and intention were identified. The methods for analysis of decision-making by the human-operator in Air Navigation System using stochastic networks have been developed.

关键词： Atmospheric modeling Stochastic processes Aircraft navigation Mathematical model Psychology Sociotechnical systems Decision making

来源：评论

学校读者我要写书评

暂无评论

What is the content of "design thinking"? design Heuristics as conceptual repertoire

What is the content of "design thinking"? Design Heuristics ...

引用

作者： Gray, Colin M. Seifert, Colleen M. Yilmaz, Seda Daly, Shanna R. Gonzalez, Richard Department of Computer Graphics Technology Purdue University West LafayetteIN47907 United States Department of Psychology University of Michigan Ann ArborMI48109 United States Department of Industrial Design Iowa State University AmesIA50010 United States Department of Mechanical Engineering University of Michigan Ann ArborMI48109 United States

When engaged in design activity, what does a designer think about? And how does she draw on disciplinary knowledge, precedent, and other strategies in her design process in order to imagine new possible futures? In this paper, we explore design Heuristics as a form of intermediate-level knowledge that may explain how designers build on existing knowledge of "design moves"-non-deterministic, generative strategies or heuristics-during conceptual design *** a set of relationships between disciplinary training and the acquisition of such heuristics, and postulate how design students might accelerate their development of expertise. We conclude with implications for future research on the development of expertise, and the ways in which methods such as design Heuristics can enhance this developmental process. © 2016 TEMPUS Publications.

关键词： Conceptual design

来源：评论

学校读者我要写书评

暂无评论

Thermal simulation of heterogeneous GaN/ InP/silicon 3DIC stacks

Thermal simulation of heterogeneous GaN/ InP/silicon 3DIC st...

引用

International 3D Systems Integration Conference, 3DIC 2015

作者： Harris, T. Robert Wyers, Eric J. Lee, Wang Graham, Samuel Pavlidis, Georges Franzon, Paul D. Davis, W. Rhett Department of Electrical and Computer Engineering North Carolina State University RaleighNC United States Department of Engineering and Computer Science Tarleton State University StephenvilleTX United States Calibre Design Solutions Mentor Graphics Corporation FremontCA United States Department of Mechanical Engineering Georgia Institute of Technology AtlantaGA United States

ISBN: (纸本)9781467393850

Integration of materials such as GaN, InP, SiGe, and Si is a natural extension of the 3D-IC perspective and provides a unique solution for high performance circuits. In this approach, application of a component is no longer dependent on semiconductor material selection. In this paper, preliminary results are presented which examine the thermal performance of the technology. A thermal analysis prototype solution in Mentor graphics™ Calibre® provides surface heat maps based on IC layout, material property, and geometric configuration files. Chiplets are connected by heterogeneous interconnect (HIC). Differences in thermal performance of GaN and InP chiplets are explored by varying the number of HICs. Two methods for building up the model of a test chip are compared. One method uses custom scripts to place discrete blocks in the model to represent HICs, while the other uses thermal material properties extracted from the layout. Measurements presented confirm simulated results. © 2015 IEEE.

关键词： Gallium nitride

来源：评论

学校读者我要写书评

暂无评论

Constrained-based symbolic execution on virtual models for functional coverage verification

Constrained-based symbolic execution on virtual models for f...

引用

International Conference on computer Engineering and Systems

作者： Nahla Mohamed Mohamed Ayman Wahba Mona Safar Ashraf Salem Design Verification Technology Mentor Graphics Cairo Egypt Computer Engineering and Systems Department Ain Shams University Cairo Egypt

In this paper, we present a new approach for automatic test case generation with symbolic execution on virtual model. The test case generation is based on the concept of constrained-based and assertion-based techniques. We use the constrained-based technique in order to show preferences for the generated test cases and to obtain the desired goal of functional coverage. Basic idea of our technique is generating test cases from assertions. We used the assertion functions of the symbolic executor tool KLEE. With such setting, KLEE will carry out the virtual model through different paths in order to reach the assertion. Hence, the related test cases will validate the coverage of the assertion. To trigger the device to go through several states, we developed an additional method based on special functional coverage criteria. We present preliminary results on the test cases generation using a case study from ARM QEMU models. Our experimental results show that the proposed approach is efficient.

关键词： Random access memory Hardware Computational modeling Software Memory management Adaptation models Explosions

来源：评论

学校读者我要写书评

暂无评论

Thermal simulation of heterogeneous GaN/ InP/silicon 3DIC stacks

Thermal simulation of heterogeneous GaN/ InP/silicon 3DIC st...

引用

IEEE International Conference on 3D System Integration, 3DIC

作者： T. Robert Harris Eric J. Wyers Lee Wang Samuel Graham Georges Pavlidis Paul D. Franzon W. Rhett Davis North Carolina State University Raleigh NC US Department of Engineering and Computer Science Tarleton State University Stephenville TX USA Calibre Design Solutions Mentor Graphics Corporation Fremont CA USA Department of Mechanical Engineering Georgia Institute of Technology Atlanta GA USA Department of Electrical and Computer Engineering North Carolina State University Raleigh NC USA

Integration of materials such as GaN, InP, SiGe, and Si is a natural extension of the 3D-IC perspective and provides a unique solution for high performance circuits. In this approach, application of a component is no longer dependent on semiconductor material selection. In this paper, preliminary results are presented which examine the thermal performance of the technology. A thermal analysis prototype solution in Mentor graphics ™ Calibre ® provides surface heat maps based on IC layout, material property, and geometric configuration files. Chiplets are connected by heterogeneous interconnect (HIC). Differences in thermal performance of GaN and InP chiplets are explored by varying the number of HICs. Two methods for building up the model of a test chip are compared. One method uses custom scripts to place discrete blocks in the model to represent HICs, while the other uses thermal material properties extracted from the layout. Measurements presented confirm simulated results.

关键词： Semiconductor device modeling Gallium nitride Indium phosphide III-V semiconductor materials CMOS integrated circuits Layout Thermal conductivity

来源：评论

学校读者我要写书评

暂无评论

Preface

Proceedings of the 11th European Conference on Games Based L...

引用

Proceedings of the 11th European Conference on Games Based Learning, ECGBL 2017 2017年 viii-x页

作者： Pivec, Maja Gründler, Josef Admiraal, Wilfried Alemi, Minoo All, Anissa Almeida, Ana Amresh, Ashish Arnab, Sylvester Ask, Kristine Avouris, Nikolaos Awwal, Nafisa Hauge, Jannicke Baalsrud Badau, Dana Barata, Ana Barendregt, Wolmet Basaiawmoit, Rajiv Bellotti, Francesco Blanchfield, Peter Borit, Melania Boskic, Natasha Boyle, Liz Brady, Mairead Bratitsis, Tharrenos Brinch, Sara Brom, Cyril Brooks, Anthony Brown, David Brox, Ellen Busch, Carsten Caldeira, Carlos Callies, Sophie Cardoso, Tiago Carron, Thibault Casimir, Rommert De Castro, António Vieira Chang, Maiga Charalambis, Dimitris Charles, Darryl Charlier, Nathalie Chee, Yam San Chen, Ming-Puu Chiarello, Fabio Connolly, Thomas Crockett, Larry Darwish, Tamer Sigurdardottir, Helga Deliyannis, Ioannis Demirbilek, Muhammet Sigurdardottir, Helga Dis Duin, Heiko Dyer, Ronald Edgar, David Ejsing-Duun, Stine Escudeiro, Paula Felicia, Patrick Fesakis, Georgios Figueira, Ana Paula Fotaris, Panagiotis Fujimoto, Toru George, Sebastien Georgiadis, Panagiotis Gerodetti, Natalia Giannakoulopoulos, Andreas Gjedde, Lisa Goebel, Stefan Gomez-Martin, Pedro Pablo Gouscos, Dimitris Grigoriadou, Maria Guralnick, David Guttormsgaard, Vibeke Habgood, Jacob Hainey, O. Hanghoj, Thorkild Hawlitschek, Anja Hemben, Terseer Hlavacs, Helmut Hommedal, Silje Hole Hollins, Paul Idrus, Rozhan Wang, Alf Inge Ismail, Marina Jans, Ruben Juzeleniene, Saule Kalavassis, Fragiskos Kalogiannakis, Michail Karakostas, Anastasios Katzlinger-Felhofer, Elisabeth Ketamo, Harri Ketelhut, Diane Jass Kickmeier-Rust, Michael Kiili, Kristian Koeppen, Veit Kolås, Line Kordaki, Maria Korkut, Safak Kourti, Evangelia Li, Ken Lukosch, Heide MaCleod, Hamish Magnussen, Rikke Majgaard, Gunver Marchetti, Emanuela Marques, Bertil Marty, Jean-Charles Marzantowicz, Lukasz Mehm, Florian Meimaris, Michail Michel, Christine Moffat, David Montero-Fleta, Begoña Moseley, Alexander Mota, Dulce Mozelius, Peter Nadolski, Rob Nelson, Brian Neville, Karen Ng, Annie W.Y. Nixon, Darren Nocchi, Susanna Broin, Daire O. O'Mullane, John Skev Leiden University Leiden Netherlands Sharif University of Technology Iran IMinds-MICT-Ghent University Belgi Belgium Universidade de Coimbra Portugal Arizona State University United States Coventry University United Kingdom Norway University of Patras Greece University of Melbourne Australia Bremer Institut for Produktion und Logistik Germany University of Medicine and Pharmacy of Targu Mures Romania Portugal Gothenburg University Department of Applied IT Sweden Aarhus University Denmark University of Genoa Italy School of Computer Science University of Nottingham United Kingdom UiT - The Arctic Univeristy of Norway University of Troms Norway University of British Columbia Canada Univesity of the West of Scotland United Kingdom Open University of Cyprus Greece ESCP Europe France Trinity College Dublin Ireland University of Western Macedonia Greece KDU University College Malaysia Charles University Prague Czech Republic Aalborg University Denmark Nottingham Trent University United Kingdom Nord-Trøndelag University College Steinkjer Norway University of Applied Sciences HTW-Berlin Germany University of Evora Portugal UQAM Canada Universidade Nova de Lisboa Portugal LIP6 - Paris Université de Savoie France Tilburg University Netherlands Open University of the Natherlands Nederland United States Athabasca University Canada University of Athens Greece University of Ulster United Kingdom Catholic University of Leuven Belgium Nanyang Technological University Singapore Singapore National Taiwan Normal University Taiwan Italy University of West of Scotland United Kingdom Augsburg College United States Brunel University United Kingdom Ionian University Greece Suleyman Demirel University Turkey Glamorgan University United Kingdom BIBA - Bremer Institut for Produktion und Logistik GmbH Germany Managment School University of Liverpool United Kingdom Glasgow Caledonian University United Kingdom Aalborg Univ. Copenhagen Denmark Portugal Waterford Institute of

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：