High-level synthesis of digital circuits using genetic algorithms | IEEE Conference Publication | IEEE Xplore