Publication | Closed Access

Strategy of logic synthesis using MTBDD dedicated to FPGA

Logic SynthesisEngineeringFormal MethodsComputer ArchitectureComputer EngineeringProgrammable Logic ArrayComputer ScienceFpga DesignFormal Verification