Design of 8-bit divider with VHDL language by Phyu Myint Wai.

“…This project involves the design of 8-bit dividers with VHDL language. We illustrate the modern way of designing logic circuits, using sophisticated computer-aided-design (CAD) software tools.…”
Get full text

Analysis and design of 4-bit magnitude comparator by Aung Thura

“…This project involves the analysis and design of 4-bit Magnitude Comparator. This chip is available commercially as SN5485, SN54L85, SN54LS85, SN54S85 or SN7485, SN74L85, SN74LS85, SN74S85. …”
Get full text

Channel modeling for bit-patterned media recording by Xu, Li.

“…In such a high areal density, Bit-Patterned Media Recording (BPMR) has been proposed as a prominent candidate for next generation hard disk drives (HDDs). …”
Get full text

High speed 16-bit multiplier design by Zhou, Jiong.

“…In the second step of the project, I was adopting the Carry save multiplier idea from last year FYP student’s idea, and I made an improvement which replaced the last row of ripple adder by using Carry Look-Ahead adder and achieve even higher speed multiplier. Meanwhile, different bits (4-bit, 8-bit and 16-bit,) of Carry Look-Ahead adder was designed and simulated successfully. …”
Get full text

16-bit high speed multiplier design by Yeo, Melvin Shung Shii

Get full text

Low power 16-bit multiplier design by Heng, Zeng An

“…The aim of this project is to investigate the design of different 16-bit CMOS Multiplier based on different logic and its implementation for portable low power applications. …”
Get full text

16-bit low power multiplier design by Liew Tien Hong

“…Adders in the multiplier help to sum up the partial products and the carry bits in different levels depending on the bit size of the multiplier. …”
Get full text

Low bit rate speech coding standards by Shah, Asadullah, Shaikh, Asadullah

“…In this chapter all such standards are provided along with their year of standardization, coding type, bit rate and Mean Opinion Scores (MOS) which is a subjective, perceptual judgment…”
Get full text

Low bit rate speech multiplexer tools by Shah, Asadullah, Shaikh, Muniba

Get full text

Ranking function synthesis for bit-vector relations by Cook, B, Kroening, D, Rümmer, P, Wintersteiger, C

“…While it is wellknown how to generate linear ranking functions for relations over (mathematical) integers or rationals, efficient synthesis of ranking functions for machine-level integers (bit-vectors) is an open problem. This is particularly relevant for the verification of low-level code. …”

Synthesising interprocedural bit-precise termination proofs by Chen, H, David, C, Kroening, D, Schrammel, P, Wachter, B

“…Our analysis combines a context-sensitive, over-approximating forward analysis with the inference of under-approximating preconditions for termination. Bit-precise termination arguments are synthesised over lexicographic linear ranking function templates. …”

An adaptive random bit multilevel algorithm for SDEs by Giles, MB, Hefter, M, Mayer, L, Ritter, K

“…We study the approximation of expectations E(f (X)) for solutions X of stochastic differential equations and functionals f on the path space by means of Monte Carlo algorithms that only use random bits instead of random numbers. We construct an adaptive random bit multilevel algorithm, which is based on the Euler scheme, the Lévy-Ciesielski representation of the Brownian motion, and asymptotically optimal random bit approximations of the standard normal distribution. …”

Venus: Not evil, just a bit unfortunate by Taylor, F

Ranking function synthesis for bit-vector relations by Cook, B, Kroening, D, Rummer, P, al., E

“…While it is well-known how to generate linear ranking functions for relations over (mathematical) integers or rationals, efficient synthesis of ranking functions for machine-level integers (bit-vectors) is an open problem. This is particularly relevant for the verification of low-level code. …”

Approximating Predicate Images for Bit−Vector Logic by Kroening, D, Sharygina, N

Bit threads and the membrane theory of entanglement dynamics by Agón, CA, Mezei, M

“…Motivated by the new&nbsp;<em>bit threads</em>&nbsp;formulation of holographic entanglement entropy, given in terms of a convex optimization problem based on flow maximization, or equivalently tight packing of bit threads, we reformulate the membrane theory as a max flow problem by proving a max flow-min cut theorem. …”

Bit-precise procedure-modular termination analysis by Chen, H, David, C, Kroening, D, Schrammel, P, Wachter, B

“…Our analysis combines a context-sensitive, over-approximating forward analysis with the inference of under-approximating preconditions for termination. Bit-precise termination arguments are synthesised over lexicographic linear ranking function templates. …”

Beyond bits: The future of quantum information processing by Steane, A, Rieffel, E

Design of 8-bit SAR-ADC CMOS by Hassan, Hur A., Abdul Halin, Izhal, Aris, Ishak, Hassan, Mohd Khair

Get full text

A new 128-bit block cipher by Mohd Ali, Fakariah Hani

“…From the results, this new block cipher has successfully generated randomness of the block cipher output for data ranging from 1 ,000,000 to 6,000,000 bits. This means that the new block cipher is secured to be used for data ranging from 1 ,000,000 to 6,000,000 bits. …”
Get full text