A mathematical approach towards hardware design

Keywords

Haskell, Computer science, VHDL, Compiler, Programming language

References

• Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant AnalysisAndreas Ermedahl, Christer Sandberg, Jan Gustafsson — 2007
• System modeling and transformational design refinement in ForSyDe [formal system design]Ingo Sander, Axel Jantsch — 2004
• Constraint solving for high-level WCET analysisAdrian Prantl, Jens Knoop, Markus Schordan — 2009
• Microprocessor specification in HawkJohn Matthews, B. Cook, John Launchbury — 1998
• The Worst Case Execution Time Tool Challenge 2006Jan Gustafsson — 2006
• pn: A Tool for Improved Derivation of Process NetworksSven Verdoolaege, Hristo N. Nikolov, Todor Stefanov — 2007
• muFP, a language for VLSI designMary Sheeran — 1984
• Communication between nested loop programs via circular buffers in an embedded multiprocessor systemTjerk Bijlsma, Marco J.G. Bekooij, Pierre Jansen — 2008
• Exercises in Architecture Specification Using CLaSHJan Kuper, Christiaan Baaij, Matthijs Kooijman — 2010
• Lava: hardware design in HaskellPer Bjesse, Koen Claessen, Mary Sheeran — 1998
• The worst-case execution time tool challenge 2006Lili Tan — 2006
• Efficient Memoization for Dynamic Programming with Ad-Hoc ConstraintsJoxan Jaffar, Andrew E. Santosa, Răzvan Voicu — 2008
• Push-assisted migration of real-time tasks in multi-core processorsAbhik Sarkar, Frank Mueller, Harini Ramaprasad — 2009
• Scratchpad Memory Management Techniques for Code in Embedded Systems without an MMUBernhard Egger, Seungkyun Kim, Choonki Jang — 2010
• Scratchpad memories vs locked caches in hard real-time systems: a quantitative comparisonIsabelle Puaut, Christophe Pais — 2007
• C?aSH: Structural Descriptions of Synchronous Hardware Using HaskellChristiaan Baaij, Matthijs Kooijman, Jan Kuper — 2010
• HML, a novel hardware description language and its translation to VHDLYanbing Li, Miriam Leeser — 2000
• Chronos: A timing analyzer for embedded softwareXianfeng Li, Yun Liang, Tulika Mitra — 2007
• Scratchpad memories vs locked caches in hard real-time systems: a quantitative comparisonIsabelle Puaut, Christophe Pais — 2007
• The Worst Case Execution Time Tool Challenge 2006: The External TestLili Tan — 2006

Cited by

• Analysis of preemptively scheduled hard real-time systemsSebastian Altmeyer — 2013
• Architecture multi-coeurs et temps d'exécution au pire cas. (Multicore architectures and worst-case execution time)Benjamin Lesage — 2013
• To a new hardware design methodology: A case study of the cochlea modelF.D. Van Nee — 2014
• Precision Timed MachinesIsaac Suyu Liu — 2012
• Testing a Timing Analysis tool : SWEETBal Krishna Nyaupane — 2013
• An Adaptive Property-Aware HW/SW Framework for DDDASPhillip H. Jones, Ron K. Cytron, Christopher Gill — 2014
• Identifying Relevant Parameters to Improve WCET AnalysisJakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant — 2014
• Automatic Generation of Timing Models for Timing Analysis of High-Level Code.P. Altenbernd, Andreas Ermedahl, Björn Lisper — 2011
• The Auspicious Couple: Symbolic Execution and WCET AnalysisArmin Biere, Jens Knoop, Laura Kovács — 2013
• Extending WCET benchmark programsMohammad Nazrul Islam — 2012
• Improved precision in polyhedral analysis with wrappingStefan Bygde, Björn Lisper, Niklas Holsti — 2017
• Integrated Worst-Case Execution Time Estimation of Multicore ApplicationsDumitru Potop‐Butucaru, Isabelle Puaut — 2013
• Deriving WCET Bounds by Abstract ExecutionAndreas Ermedahl, Jan Gustafsson, Björn Lisper — 2011
• Certifying execution time in multicoresVítor Rodrigues, Benny Åkesson, Mário Florido — 2015
• Simulation efficace d'architectures opérationnellesAdrien Bullich — 2014
• Loop Patterns in C ProgramsThomas Pani, Helmut Veith, Florian Zuleger — 2015
• Proactive Energy-Aware Programming with PEEKTimo Hönig, Heiko Janker, Christopher Eibel — 2014
• PWCET: Power-Aware Worst Case Execution Time AnalysisWenlei Bao, Sanket Tavarageri, F. Özgüner — 2014
• The use of automated search in deriving software testing strategiesSimon Poulding — 2013
• A probabilistically analysable cache implementation on FPGAHassan Anwar, Chao Chen, Giovanni Beltrame — 2015

Related papers

• The worst-case execution-time problem—overview of methods and survey of toolsReinhard Wilhelm, Jakob Engblom, Andreas Ermedahl — 2008
• Chronos: A timing analyzer for embedded softwareXianfeng Li, Yun Liang, Tulika Mitra — 2007
• Fast and Precise WCET Prediction by Separated Cache and Path AnalysesHenrik Theiling, Christian Ferdinand, Reinhard Wilhelm — 2000
• MiBench: A free, commercially representative embedded benchmark suiteMatthew R. Guthaus, Jeffrey Ringenberg, Daniel Ernst — 2001
• Abstract interpretationPatrick Cousot, Radhia Cousot — 1977
• Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded SystemsReinhard Wilhelm, Daniel Grund, Jan Reineke — 2009
• Hardware support for WCET analysis of hard real-time multicore systemsMarco Paolieri, Eduardo Quiñones, Francisco J. Cazorla — 2009
• WCET centric data allocation to scratchpad memoryVivy Suhendra, Tulika Mitra, Abhik Roychoudhury — 2005