Michael Tetteh

Michael Tetteh


Research Focus & Metrics

Academic Career Length

6Years (2021-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
12 March 2022 in SN Computer Science
Verified
Journal Article
Open access
PDF file
MTMichael Tetteh
Michael Tetteh
DDDouglas Mota Dias
Douglas Mota Dias
Conor RyanConor Ryan
Conor Ryan
The evolution of complex circuits remains a challenge for the Evolvable Hardware field in spite much effort. There are two major issues: the amount of testing required and the low evolvability of representation structures to handle complex circuitry, at least partially due to the destructive effects of genetic operators. A 64-bit $$\times$$ × 64-bit add-shift multiplier circuit modelled at register-transfer level in SystemVerilog would require approximately 33,200 gates when synthesized using Yosys Open SYnthesis Suite tool. This enormous gate count makes evolving such a circuit at the gate-level difficult. We use Grammatical Evolution (GE) and SystemVerilog, a hardware description language (HDL), to evolve fully functional parameterized Adder, Multiplier, Selective Parity and Up–Down Counter circuits at a more abstract level other than gate level—register transfer level. Parameterized modules have the additional benefit of not requiring a re-run of evolutionary experiments if multiple instances with different input sizes are required. For example, a 64-bit $$\times$$ × 64-bit and 128-bit $$\times$$ × 128-bit multipliers etc., can be instantiated from a fully evolved functional and parameterized N-bit $$\times$$ × N-bit multiplier. The Adder (6.4 $$\times$$ × ), Multiplier (10.7 $$\times$$ × ) and Selective Parity (6.7 $$\times$$ × ) circuits are substantially larger than the current state of the art for evolutionary approaches. We are able to scale so dramatically because of the use of a HDL, which permits us to operate at a register-transfer level. Furthermore, we adopt a well known technique for reducing testing from digital circuit design known as corner case testing. Skilled circuit designers rely on this to avoid time-consuming exhaustive testing. We demonstrate a simple way to identify and use corner cases for evolutionary testing and show that it enables the generation of massively complex circuits. All circuits were successfully evolved without resorting to the use of any standard decomposition methods, due to our ability to use programming constructs and operators available in SystemVerilog.


28 July 2023 in Algorithms
Verified
Journal Article
Open access
PDF file
MTMichael Tetteh
Michael Tetteh
ALAllan de Lima
Allan de Lima
JMJack McEllin
Jack McEllin
AMAidan Murphy
Aidan Murphy
DDDouglas Mota Dias
Douglas Mota Dias
Conor RyanConor Ryan
Conor Ryan
Grammatical Evolution is a Genetic Programming variant which evolves problems in any arbitrary language that is BNF compliant. Since its inception, Grammatical Evolution has been used to solve real-world problems in different domains such as bio-informatics, architecture design, financial modelling, music, software testing, game artificial intelligence and parallel programming. Multi-output problems deal with predicting numerous output variables simultaneously, a notoriously difficult problem. We present a Multi-Genome Grammatical Evolution better suited for tackling multi-output problems, specifically digital circuits. The Multi-Genome consists of multiple genomes, each evolving a solution to a single unique output variable. Each genome is mapped to create its executable object. The mapping mechanism, genetic, selection, and replacement operators have been adapted to make them well-suited for the Multi-Genome representation and the implementation of a new wrapping operator. Additionally, custom grammar syntax rules and a cyclic dependency-checking algorithm have been presented to facilitate the evolution of inter-output dependencies which may exist in multi-output problems. Multi-Genome Grammatical Evolution is tested on combinational digital circuit benchmark problems. Results show Multi-Genome Grammatical Evolution performs significantly better than standard Grammatical Evolution on these benchmark problems.

9 April 2023
Verified
Book Chapter
Closed access
PDF file
MMMahsa Mahdinejad
Mahsa Mahdinejad
AMAidan Murphy
Aidan Murphy
MTMichael Tetteh
Michael Tetteh
ALAllan de Lima
Allan de Lima
PHPatrick Healy
Patrick Healy
Conor RyanConor Ryan
Conor Ryan


30 March 2024
Verified
Book Chapter
Open access
PDF file
MTMichael Tetteh
Michael Tetteh
Conor RyanConor Ryan
Conor Ryan
DDDouglas Mota Dias
Douglas Mota Dias
'Correction to: Evolving Behavioural Models of Combinational and Sequential Digital Circuits in SystemVerilog using Grammatical Evolution' published in 'Computational Intelligence'