Hasil Pencarian  ::  Simpan CSV :: Kembali

"Pada pengembangan sistem, dibutuhkan sebuah mekanisme untuk menjamin bahwa sistem tersebut berjalan dengan benar tanpa error atau rsquo;bug rsquo;. Sejauh ini, hal yang biasa dilakukan adalah dengan testing, tetapi hal ini sulit dilakukan untuk mencakup semua kemungkinan. Untuk sistem yang membutuhkan tingkat correctness yang tinggi, seperti misalnya pada hardware , perlu mekanisme yang dapat menjamin kebenaran program untuk semua kemungkinan input. Ada solusi lain yang dapat menjamin kebenaran program untuk semua kemungkinan input, yaitu dengan verifikasi formal. Verifikasi formal dilakukan dengan pemodelan matematika. Salah satu sistem yang membutuhkan tingkat correctness yang tinggi adalah sistem bilangan floating-point. Hal ini terkait dengan pengalaman yang dialami Intel pada tahun 1994. Salah satu bahasa standar dalam membangun sebuah sistem digital atau hardware adalah VHDL. Ada beberapa tools yang bisa dilakukan untuk verifikasi formal, salah satunya adalah HOL theorem prover. Penelitian ini melakukan formalisasi operasi aritmatika VHDL dan konstruksi terkait yang dilakukan dengan menggunakan HOL Theorem Prover. Hasilnya adalah sebuah framework yang berisi formalisasi beberapa algoritma aritmatika dasar VHDL dan konstruksi terkaitnya. Framework ini kemudian dapat digunakan untuk memverifikasi modul VHDL yang memanfaatkan aritmatika VHDL dan konstruksi terkaitnya.

---

In system development, a mechanism is needed to ensure that the system runs correctly without error or rsquo bug rsquo . So far, testing is a common solution, but it rsquo s hard to cover all error possibilities. For systems that require a high level of correctness, such as hardware systems, there is a need for a mechanism that can ensure the correctness of the program for all possible inputs. There is another solution to do the task, i.e. by formal verification. Formal verification is done by mathematical modeling. One system that requires a high level of correctness is the floating point number system. This is related to the experience of Intel in 1994.

One of the standard languages in developing a digital system or a hardware is VHDL. There are several tools that can be used for formal verification, one of which is HOL Theorem Prover. This research conducts a formalization of VHDL arithmetic operation and the related constructions done by using HOL Theorem Prover. The result is a framework which contains the formalization of some basic VHDL arithmetic algorithms and the related constructions. This framework can then be used to verify VHDL modules that utilize the VHDL arithmetic and the related constructs."

"This book has been designed for a first course on digital design for engineering and computer science students. It offers an extensive introduction on fundamental theories, from Boolean algebra and binary arithmetic to sequential networks and finite state machines, together with the essential tools to design and simulate systems composed of a controller and a datapath. The numerous worked examples and solved exercises allow a better understanding and more effective learning. All of the examples and exercises can be run on the Deeds software, freely available online on a webpage developed and maintained by the authors. Thanks to the learning-by-doing approach and the plentiful examples, no prior knowledge in electronics of programming is required. Moreover, the book can be adapted to different level of education, with different targets and depth, be used for self-study, and even independently from the simulator. The book draws on the authors’ extensive experience in teaching and developing learning materials."

"ABSTRAKTesis ini membahas tentang rancangan alat deret hitung untuk anak-anak autis sebagaialat permainan edukatif dengan menggunakan metode QFD dan Usability Testing.Penelitian ini melibatkan anak-anak autis dari SLB Pelita Hati dan SLB Cipta Anugerahdi Jakarta Timur. Hasil dari rancangan alat deret hitung ini berupa prototipe berteknologitinggi yang sesuai dengan sifat dan kebutuhan anak-anak autis. Metode Usability Testingdilakukan dengan memberikan kuesioner kepada para guru sambil dipersilakanmenggunakan prototipe alat deret hitung ini. Didapatkan hasil bahwa alat deret hitunguntuk anak-anak autis haruslah tidak memiliki sudut-sudut tajam, dan alat permainanedukatif yang tidak anti air tidak akan mempengaruhi proses belajar mengajar di kelas.

---

ABSTRACTThis thesis discusses about designing an arithmetic progression tool for the autisticchildren as an educational playing tool by using QFD and Usability Testing methods.This research is involving autistic children from SLB Pelita Hati and SLB Cipta Anugerahwhich are located in the East Jakarta. The final output of this arithmetic progression tooldesign is a prototipe which contains of high technology that is suitable with thecharacteristics and the needs of the autistic children. The Usability Testing method isdone by giving questionnaires to the teachers and let them use the prototipe of thisarithmetic progression tool. The results of this research are that the arithmetic progressiontool should not has any sharp corners, and that if the arithmetic progression tool is notwaterproof, it would not influence any study activities in the class."