Article

AMLETO: a multi-language environment for functional test generation

Authors:

Alessandro Fin,

Franco Fummi,

Graziano PravadelliAuthors Info & Claims

Proceedings of the IEEE International Test Conference 2001

Pages 821 - 829

Published: 30 October 2001 Publication History

Abstract

No abstract available.

Cited By

View all

Khari MKumar P(2019)An extensive evaluation of search-based software testingSoft Computing - A Fusion of Foundations, Methodologies and Applications10.1007/s00500-017-2906-y23:6(1933-1946)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s00500-017-2906-y
Laufenberg JReiter SViehl ABringmann OKropf TRosenstiel WFanucci LTeich J(2016)Combining graph-based guidance with error effect simulation for efficient safety analysisProceedings of the 2016 Conference on Design, Automation & Test in Europe10.5555/2971808.2972072(1132-1135)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.5555/2971808.2972072
Wang ZChen CSharma PChattopadhyay ACavallaro JZhang TJones ALi H(2014)System-level reliability exploration framework for heterogeneous MPSoCProceedings of the 24th edition of the great lakes symposium on VLSI10.1145/2591513.2591519(9-14)Online publication date: 20-May-2014
https://dl.acm.org/doi/10.1145/2591513.2591519
Show More Cited By

Recommendations

AMLETO: A Multi-language Environment for Functional Test Generation
ITC '01: Proceedings of the 2001 IEEE International Test Conference

More and more people are starting to use the SystemCdescription language to model and simulatenew designs. This is due mainly to the simplicityand power of the language. The number of modelswritten in SystemC currently available is stillvery limited and ...
Finite element analysis of strengthened RC beams in shear with aluminum plates

This paper presents the development of a 3D nonlinear finite element (FE) model to capture and predict the response of shear deficient simply supported reinforced concrete (RC) beams strengthened externally with aluminum alloy plates. Five FE models ...
Numerical simulation of the shear behaviour of reinforced concrete rectangular beam specimens with or without FRP-strip shear reinforcement

The successful validation of a numerical model is presented that can realistically approximate the shear behaviour of reinforced concrete (R/C) rectangular beams strengthened against shear with externally applied open hoop fibre reinforcing polymer (FRP)...

Comments

Information & Contributors

Information

Published In

Proceedings of the IEEE International Test Conference 2001

October 2001

1170 pages

ISBN:0780371690

Publisher

IEEE Computer Society

United States

Publication History

Published: 30 October 2001

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Khari MKumar P(2019)An extensive evaluation of search-based software testingSoft Computing - A Fusion of Foundations, Methodologies and Applications10.1007/s00500-017-2906-y23:6(1933-1946)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s00500-017-2906-y
Laufenberg JReiter SViehl ABringmann OKropf TRosenstiel WFanucci LTeich J(2016)Combining graph-based guidance with error effect simulation for efficient safety analysisProceedings of the 2016 Conference on Design, Automation & Test in Europe10.5555/2971808.2972072(1132-1135)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.5555/2971808.2972072
Wang ZChen CSharma PChattopadhyay ACavallaro JZhang TJones ALi H(2014)System-level reliability exploration framework for heterogeneous MPSoCProceedings of the 24th edition of the great lakes symposium on VLSI10.1145/2591513.2591519(9-14)Online publication date: 20-May-2014
https://dl.acm.org/doi/10.1145/2591513.2591519
Fedeli AFummi FPravadelli G(2007)Properties Incompleteness Evaluation by Functional VerificationIEEE Transactions on Computers10.1109/TC.2007.101256:4(528-544)Online publication date: 1-Apr-2007
https://dl.acm.org/doi/10.1109/TC.2007.1012
Fummi FMarconcini CPravadelli G(2005)Logic-level mapping of high-level faultsIntegration, the VLSI Journal10.5555/1062115.171208338:3(467-490)Online publication date: 1-Jan-2005
https://dl.acm.org/doi/10.5555/1062115.1712083
Shen HFu YTang T(2005)Priority directed test generation for functional verification using neural networksProceedings of the 2005 Asia and South Pacific Design Automation Conference10.1145/1120725.1120822(1052-1055)Online publication date: 18-Jan-2005
https://dl.acm.org/doi/10.1145/1120725.1120822
Fummi FPravadelli GGarrett DLach JZukowski C(2004)Logic-level analysis of high-level faultsProceedings of the 14th ACM Great Lakes symposium on VLSI10.1145/988952.988977(100-103)Online publication date: 26-Apr-2004
https://dl.acm.org/doi/10.1145/988952.988977
Fin AFummi FPravadelli GStan MGarrett DNakajima K(2003)Mixing ATPG and property checking for testing HW/SW interfacesProceedings of the 13th ACM Great Lakes symposium on VLSI10.1145/764808.764887(303-306)Online publication date: 28-Apr-2003
https://dl.acm.org/doi/10.1145/764808.764887
Fin AFummi FGhose KMadden PDe VKogge P(2002)Protected IP-core test generationProceedings of the 12th ACM Great Lakes symposium on VLSI10.1145/505306.505320(59-64)Online publication date: 18-Apr-2002
https://dl.acm.org/doi/10.1145/505306.505320
Azzoni PFedeli AFummi FPravadelli GRossi UToto FGhose KMadden PDe VKogge P(2002)An error simulation based approach to measure error coverage of formal propertiesProceedings of the 12th ACM Great Lakes symposium on VLSI10.1145/505306.505319(53-58)Online publication date: 18-Apr-2002
https://dl.acm.org/doi/10.1145/505306.505319

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

AMLETO: A Multi-language Environment for Functional Test Generation

Finite element analysis of strengthened RC beams in shear with aluminum plates

Numerical simulation of the shear behaviour of reinforced concrete rectangular beam specimens with or without FRP-strip shear reinforcement

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations