The revolution of information technology and electronics in general, is driven by the extraordinary advances in semiconductor technology. Today’s microelectronics systems are complex designs with literally tens of millions of transistors on a single chip, often combining microcontroller and DSP processor cores, memory blocks, application specific logic and mixed-signal functions. Complexity, time-to-market pressure and evolving requirements pose new challenges in the design and verification process. Traditional testing such as simulation methods, can no longer give reasonable assurance for the quality of a product. Dr. Tahar’s research aims to develop techniques and tools enabling the verification of real-size microelectronics designs through alternative means, called formal methods, involving all possible scenarios of input and state combinations, giving very strong results about the correctness of designs. The proposed techniques will be validated using real designs, which are industrial benchmarks. This approach will advance the systems specification and verification process, thus shortening the design cycle of microelectronics products.
Minimization and avoidance of pollutant releases and understanding the movement and transformation of contaminants once they reach the environment, are required to avoid the degradation of the environment and hence the ecosystem. The increasing population is leading to fewer waste management options, environmental destruction, and increased disasters due to global warming. Environmental management and technological development will ultimately enhance the quality of life of the public and the quality of the environment for the entire ecosystem. Through this research program, Dr. Mulligan looks to develop technologies for the treatment of air, water, waste and soil contaminants, as well as investigate the processes for the transport and degradation of chemicals in the complete environment across all media.