Verilog HDL model based thermometer-to-binary encoder with bubble error correction
Fuzzy logic controller for rate-adaptive heart pacemaker