Minghao Ni

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper describes a two-step packing algorithm for LUT clusters of which the LUT input multipliers are depopulated. In the first step, a greedy algorithm is used to search for BLE locations and cluster inputs. If the greedy algorithm fails, the second step with network flow programming algorithm is employed. Numerical results illustrate that our two-step(More)
The PTB domain of mouse dok1 fusion protein has been overexpressed in Escherichia coli and crystallized in a form suitable for X-ray crystallographic study. Crystals have been obtained using the vapour-diffusion method and belong to space group P2(1)2(1)2(1). X-ray diffraction data were collected in-house to 2.5 A resolution. A selenomethionine (SeMet) dok1(More)
This paper introduces a complete CAD toolset for the implementation of digital logic in a field-programmable gate array (FPGA) platform. Compared with existing academic toolsets, this toolset introduces formal verification in each step of the tool flow, especially the formal verification of the configuration bitstream. The FPGA CAD tool verification flow(More)
  • 1