Leda Checking

Pada kesempatan Kerja Praktek (KP) di Versatile Silicon, salah satu tugas saya adalah melakukan leda checking terhadap desain Verilog. Apa itu leda? Itulah pertanyaan pertama yang muncul dalam otak saya ketika mendapat tugas itu. Untunglah, ada pembimbing yang selalu membantu jika saya membutuhkan dan tentunya ada Prof. Google yang selalu standby 24 jam. Langsung saja, saya bergegas ke laptop dan berselancar di dunia maya mencari bantuan. Setelah membaca beberapa bahan dan melakukan praktek langsung, akhirnya sekarang sudah sedikit tahu apa itu leda.

Leda adalah sebuah alat pengecek sistem-ke-netlist yang mempunyai prepackaged rule untuk mengecek desain Verilog atau VHDL dengan berbagai aturan desain dan coding standar. Leda mengandung optional specifier tool yang dapat kita gunakan untuk mendefinisikan aturan coding kita sendiri menggunakan VeRSL (Verilog Rule Specification Language) dan VRSL (VHDL Rule Specification Language) macro-based rule programming language untuk Verilog dan VHDL. Leda juga mempunyai fitur komplit API yang dapat kita gunakan untuk mengembangkan netlist rule pada Tcl atau C untuk dijalankan dengan database desain yang terperinci.

Dengan bantuan leda, kita dapat mengetahui bagian pada coding Verilog yang menimbulkan adanya warning/error. Setelah kita tahu adanya bug tersebut, tugas kita selanjutnya adalah melakukan debugging. Tentunya, ketika kita melakukan debugging, kita juga harus mengerti terlebih dahulu masalahnya (dalam hal ini masalah pada coding Verilog). Debugging sangat penting dilakukan, agar dihasilkan code RTL yang handal sebelum diimplementasikan ke dalam ASIC. Berikut ini salah satu contoh error message dan solusinya:

Error message: VER_2_1_4_2 Use bit-wise operators (&, |, ~) instead of logic operators (&&, ||, !), even in single bit operation expressions.

Solution: Replace logical operator (&&, ||, !) with bit-wise operator (&, |, ~).

Cinta Tanpa Definisi

Seperti angin memabadai. Kau tak melihatnya. Kau merasakannya. Merasakan kerjanya saat ia memindahkan gunung pasir di tengah gurun. Atau merangsang amuk gelombang di laut lepas. Atau meluluhlantakkan bangunan-bangunan angkuh di pusat kota metropolitan. Begitulah cinta. Ia ditakdirkan jadi kata tanpa benda. Tak terlihat. Hanya terasa. Tapi dahsyat.

Seperti banjir menderas. Kau tak kuasa mencegahnya. Kau hanya bisa ternganga ketika ia meluapi sungai-sungai, menjamah seluruh permukaan bumi, menyeret semua benda angkuh yang bertahan di hadapannya. Dalam sekejap, ia menguasai bumi dan merengkuhnya dalam kelembutannya. Setelah itu, ia kembali tenang: seperti seekor harimau kenyang yang terlelap tenang. Demikianlah cinta. Ia ditakdirkan jadi makna paling santun yang menyimpan kekuasaan besar.

Seperti api menyala-nyala. Kau tak kuat melawannya. Kau hanya bisa menari di sekitarnya saat ia mengunggun. Atau berteduh saat matahari membakar kulit bumi. Atau meraung saat lidahnya melahap rumah-rumah, kota-kota, hutan-hutan. Dan seketika semua menjadi abu. Semua jadi tiada. Seperti itulah cinta. Ia ditakdirkan jadi kekuatan angkara murka yang mengawal dan melindungi kebaikan.

Cinta adalah kata tanpa benda, nama untuk beragam perasaan, muara bagi ribuan makna, wakil dari sebuah kekuatan tak terkira. Ia jelas, sejelas matahari. Mungkin sebab itu Eric Fromm dalam -The Art of Loving- tidak tertarik -atau juga tidak sanggup- mendefinisikannya. Atau memang cinta sendiri yang tidak perlu definisi bagi dirinya. (Serial Cinta, Anis Matta).

Creating Verification Environment Using Shell Scripting

Hari ini aku mendapat tugas untuk membuat verification environment menggunakan shell scripting linux. Apaan tuh shell scripting??? Kata itu merupakan kata baru bagiku (meskipun pernah dengar sebelumnya). Karena ini merupakan kewajiban, aku harus mengerjakan dengan sebaik-baiknya. Langkah pertama, adalah mencari referensi. Kalau sudah ada kata “mencari”, tiada kata lagi selain “google”. Sekarang ini internet (yang biasanya diawali lewat searching di google) merupakan guru yang sangat luar biasa. Segala hal yang kita cari ada di sana terlepas dari benar atau salah.

Dan akhirnya aku dapatkan beberapa referensi diantaranya buku Linux Shell Scripting Tutorial-A Beginner’s Handbook. Dari buku ini aku mulai sedikit memahami apa itu kernel, shell, bagaimana menulis shell script, struktur bahasa shell, fungsi, dll. Walaupun begitu aku masih belum bisa membuat dynamic verification environment including coverage metric. Untuk yang static, sudah berhasil dibuat dengan memanfaatkan contoh yang sudah ada sebelumnya. Karena dalam verifikasi ini digunakan tool modelsim, aku juga harus mengerti bagaimana mengaksesnya via console dan mengerti DO file.

Yang jelas, shell scripting layaknya bahasa pemrograman yang lain. Hanya sintaksnya yang berbeda dan karena console based, jadi harus terbiasa dengan command-command yang ada di linux. Berhubung aku termasuk pemula di dunia linux, jadi untuk command-command tersebut belum terbiasa. Mudah-mudahan hari ini tugas tersebut bisa terselesaikan.

RTL Verification

Perancangan Sistem digital tidak bisa terlepas dari beberapa alur proses yang harus dilaluinya. Berikut ini adalah flowchart perancangan sistem digital.

Dari flowchart tersebut bisa dilihat, bahwa memang proses verifikasi merupakan bagian yang menghabiskan waktu yang paling banyak (the most consuming time) dalam proses perancangan. Verifikasi itu sendiri terdiri dari beberapa jenis metode, diantaranya functional, assertion, coverage, formal dll.  Ada beberapa tool yang bisa digunakan, tapi yang kita pakai adalah ModelSim.

Coverage metric digunakan untuk mengukur tingkat kepercayaan pada total usaha verifikasi kita dan untuk membantu tim desain dalam memprediksi waktu optimal peluncuran desain. Ada beberapa jenis coverage metric, yaitu:

1. Statement/Line Coverage, digunakan untuk mengukur berapa banyak line/statement yang telah dieksekusi selama simulasi.
2. Branch/Decision Coverage, digunakan untuk mengukur coverage of if and case statement (percabanngan) yang mempengaruhi alur kontrol dari eksekusi HDL.
3. Path Coverage, digunakan untuk mengukur berapa banyak tiap jalur (kombinasi unik antara statement dan branch) dieksekusi ketika ada stimulus.
4. Condition and Expression Coverage, digunakan untuk memperluas branch coverage dengan cara mem-break down kondisi ke dalam elemen yang membuat hasilnya benar atau salah
5. Toggle Coverage, digunakan untuk menghitung dan mengumpulkan perubahan di dalam state pada titik/tempat tertentu.

Sumber:

Principles of Verifiable RTL Design (Book) by Lionel Bening and Harry Foster, Hewlett Packard Company.

RTL Verification (Lecture) by Subhasish Mitra and Ofer Shacham, Stanford University.

ModelSim SE Tutorial and ModelSim Code Coverage (Manual) by Mentor Graphics Corp.

Verilog HDL : A Guide to Digital Design and Synthesis (book) by Samir Palnitkar, SunSoft Press.

Prof. Google and etc.

Kepalaku terasa berat

Hari ini kepalaku terasa berat sekali. Detik demi detik, menit demi menit, dan jam demi jam berlalu dengan perasaan males, kepala pusing, inginnya hanya istirahat. UTS Sistem Instrumentasi, Laporan Devais Semikonduktor (2 modul) terpaksa di-delay terlebih dahulu. Tapi, ada beberapa kegiatan yang tidak bisa ku-delay (atau penginnya di-cancel), yaitu ngajar. Hal ini karena aku sudah janji dan janji harus ditepati. Selain itu, ini juga melibatkan kepentingan orang lain. Kalau UTS dan Laporan, jika di-delay atau di-cancel paling yang rugi adalah diri sendiri. Tapi kalau ngajar, selain diri sendiri, juga orang lain yang kena imbasnya. Jadi, kutekadkan diri tetap melangkah dengan kepala yang berat.

Alhamdulillah, seiring dengan pijakan langkah, sakit di kepala ini mulai berkurang. Meskipun sampai saat aku menulis tulisan ini sakit itu masih terasa, tapi lebih mendingan dibanding sebelumnya. Aku sendiri tidak tau apa penyebab sakit kepalaku. Aku sih menduga ini disebabkan karena posisi tidur yang salah, klo ga ya karena hujan-hujanan sebelumnya. Btw, aku mencoba melaluinya dengan sebaik mungkin dan mencoba membereskan tugas-tugas yang mulai menumpuk. Ada yang punya solusi atas masalahku ini???

Menempuh Studi di Luar Negeri

Setelah lulus S1 akan kemanakah kita? Sebagian dari kita ada yang memilih langsung bekerja (profesional), sebagian lagi memilih jalur wirausaha (entrepreneur), dan yang lainnya memilih melanjutkan studinya. Walaupun masih banyak kemungkinan yang lain seperti langsung menikah, membantu bisnis orang tua, dan lain-lain, tapi sebagian besar orang yang saya tanyai menjawab satu di antara 3 pilihan yang saya sebutkan di atas.

Pada kesempatan kali ini, saya ingin sedikit berbagi tentang salah satu opsi setelah lulus S1: melanjutkan studi ke luar negeri. Kenapa ada imbuhan luar negeri? Pertama, secara umum melanjutkan studi di luar negeri lebih susah dibanding di dalam negeri. Kedua, banyak orang yang tidak mempunyai gambaran kuliah di luar negeri. Ketiga, banyak orang yang berminat kuliah di luar negeri. Dan beberapa alasan lain yang tidak bisa disebutkan satu per satu. So, apa sih yang harus kita persiapkan jika ingin melanjutkan studi di luar negeri?

Menurut beberapa sumber yang saya dapat (dosen, teman, website, dll), kurang lebih ada 5 poin penting yang harus kita persiapkan, yaitu:

1. Surat Rekomendasi

Sebaiknya kita meminta surat rekomendasi kepada dosen yang sudah dikenal di luar negeri (untuk lebih memudahkan), namun hal itu bukan menjadi suatu kewajiban. Bisa saja transkrip kita biasa atau bahkan jelek, tapi jika kita direkomendasikan oleh dosen yang terkenal, hal itu tidak menjadi masalah.

2. Sertifikat TOEFL/IELTS

Biasanya skor TOEFL yang diminta adalah minimal 550 untuk Paper-Based Test (PBT), 79 untuk Internet-Based Test (IBT), atau 6.0 untuk IELTS. Untuk jurusan/universitas tertentu mensyaratkan skor yang lebih besar dari itu (terutama di USA). Ini juga merupakan hal yang penting karena berhubungan dengan syarat awal masuk suatu universitas.

3. Letter of Motivation atau Statement of Purpose

Ini merupakan salah satu hal terpenting dalam proses seleksi penerimaan program S2 atau S3 karena inilah yang menggambarkan apa yang akan kita lakukan di universitas tersebut. Sebaiknya ditulis dengan singkat, jelas, dan padat (tidak terlalu bertele-tele).

4. Transkrip Nilai

Jangan khawatir kalau nilai kita pas-pasan karena transkrip bukan merupakan hal yang terpenting. Bisa saja nilai kita minim, tapi kalau persyaratan yang lain kita bagus, maka peluang lulus seleksi akan sangat besar. Namun, akan lebih baik lagi jikalau nilai dalam transkrip kita memuaskan.

5. Test Masuk

Sebagian universitas mengharuskan mengambil tes masuk (GRE, GMAT, dll). Soal yang diberikan disesuaikan dengan jurusan yang akan kita ambil nantinya, tidak peduli S1 kita dari jurusan apa. Sebagian yang lain, tidak mengharuskannya.

Berikut ini saya berikan contoh cuplikan singkat persiapan yang harus dilakukan agar bisa diterima di Stanford University, USA:

Guide to Graduate Admission, Stanford University, 2009-10

Application Preparation

1. Request that your transcripts be sent directly to the department to which you are applying.
2. Prepare a list of three recommendres; ask them to submit a letter of recommendation on your behalf before your program deadline.
3. Prepare a statement of purpose.
4. If you have not yet taken the GRE General Test and, if applicable, GRE Subject Test, TOEFL, and/or TSE, arrange to take them in time for the Educational Testing Services (ETS) to report your scores by your program’s deadline. If you have taken your test(s), request ETS to send official scores to Stanford University. The Stanford University score recipient number is 4704. Individual department code numbers are not used.
5. Stanford will communicate with you primarily via email; it is therefore essential that you have reliable email account that you check on a regular basis.
6. Application materials, once submitted as part of your application, become the property of Stanford University. Materials will not be returned, and copies will not be provided for applicants nor released to other institutions. Please keep a copy for your records.

Untuk masalah beasiswa dan masalah keuangan, Insya Allah akan saya tulis di kesempatan lain. Tunggu saja postingan selanjutnya.

Masih berkutat dengan UAS

Alhamdulillah, setelah sekian lama tidak mosting, akhirnya sekarang mosting lagi. Kebetulan ada akses internet gratis di kosan temen (sebut saja namanya dipta, hehe…).  Mau nulis apa ya? Bingung, dan mungkin hal inilah yang kadang-kadang membuatku enggan untuk mosting. Padahal sering terbesit atau terlintas ide-ide yang kayaknya bagus untuk ditulis di blog tapi pas sudah di depan komputer, seakan-akan ide itu begitu sulit untuk dituangkan ke dalam bentuk tulisan. Kayaknya aku harus sering latihan menulis sehingga terbiasa dan terasa idenya langsung dalam bentuk tulisan.

Sekarang baiknya mending belajar/fokus ke UAS dulu, cuma tinggal dua mata kuliah yang belum UAS. Sistem Embedded dan Devais Semikonduktor! Hanya itu, setelah itu aku bisa “sedikit bernafas” lega dan bisa menikmati hal-hal lain di luar akademik. Yah, mungkin itu saja awal kembalinya aku menulis di blog, insya Allah ke depannya pengin menulis banyak hal terutama di bidang pendidikan: baik itu sharing ilmu tentang elektro yang sudah kudapatkan maupun kondisi pendidikan di negeri ini. Hal ini karena memang aku sangat tertarik dengan dunia pendidikan dan sedikit (atau mungkin banyak) prihatin dengan kondisi pendidikan di Indonesia.

Identitas Jerusalem dalam Bahaya

Kompas – Jumat, April 17

Oleh Musthafa Abd Rahman

KOMPAS.com — Kelompok Yahudi ekstrem, Kamis (16/4), mencoba menembus kompleks Masjid Al Aqsa di Jerusalem Timur dalam peringatan perayaan hari besar agama Yahudi. Mufti kota Jerusalem Timur (Al Quds) dan Imam Masjid Al Aqsa, Sheikh Akrama Sabri, memberi peringatan keras soal dampak negatif jika kaum Yahudi terus memaksa menembus kompleks Masjid Al Aqsa itu.

Menlu Palestina Riyadh Maliki, Rabu (15/4) di Ramallah, menggelar pertemuan dengan para duta besar dan diplomat asing untuk Palestina. Menlu Maliki menyampaikan bahaya aksi Israel yang terus melakukan proyek Yahudinisasi kota Jerusalem Timur dan rencana kaum Yahudi memasuki kompleks Masjid Al Aqsa.

Maliki menegaskan, Yahudinisasi kota Jerusalem Timur akan membuyarkan proses perdamaian. Kota Jerusalem memang sarat konflik sepanjang sejarah. Kini, hampir tidak ada hari dan bahkan tidak ada jam tanpa aksi Israel melakukan Yahudinisasi Jerusalem Timur.

Ketika rakyat Palestina dan bangsa Arab merayakan Jerusalem Timur sebagai ibu kota kebudayaan, Maret lalu, Israel secara bersamaan meluncurkan proyek Yahudinisasi di kawasan kompleks Masjid Al Aqsa.

Kota Jerusalem Timur adalah kota suci bagi ketiga agama Samawi, yakni Yahudi, Kristen, dan Islam. Kota suci tersebut yang diimpikan rakyat Palestina menjadi ibu kota negara kelak.

Pakar geologi Israel telah bekerja selama 39 tahun untuk penggalian di sekitar kompleks Masjid Al Aqsa. Meir Ben David, pakar itu, mengungkapkan, menjelang berdirinya negara Israel pada 1948, sesungguhnya pimpinan zionis berbeda pendapat apakah menduduki atau menerima status quo Jerusalem sebagai kota internasional.

PBB, pada 1947, membagi wilayah Palestina menjadi dua, yaitu wilayah Arab dan Yahudi. Jerusalem diputuskan sebagai kota internasional di bawah kontrol internasional. Namun, Yahudi ekstrem memilih menduduki kota Jerusalem dan mendapat dukungan lebih besar. Pimpinan zionis saat itu memilih mencapai kesepakatan dengan Jordania dengan membagi Jerusalem. Kemudian Israel menduduki Jerusalem Barat, dan Jordania menguasai Jerusalem Timur. Masyarakat internasional tak mengakui realitas baru kota Jerusalem, kecuali Inggris dan Pakistan.

PBB menolak pemecahan Jerusalem tersebut. Pada 1949, PBB mengecam aksi sepihak Israel yang membalas dengan mendeklarasikan kota Jerusalem sebagai ibu kota Israel dan memindahkan lembaga pemerintah dari Tel Aviv ke Jerusalem.

Sejarawan Israel, Aharon Lieran, mengungkapkan, pada 14 Mei 1948, militer Israel mendapat tekanan dari sejumlah pemimpin politik dan organisasi untuk menguasai Jerusalem Timur. Pada hari itu, pasukan kolonial Inggris telah meninggalkan kota Jerusalem Timur.

Sejumlah pimpinan politik lain menolak menduduki Jerusalem Timur dan memilih mencapai kesepahaman dengan Jordania. Setelah empat hari, pasukan Jordania tiba di Jerusalem Timur dan sejak itu Jerusalem terbagi antara Timur dan Barat.

PM Israel David Ben Gurion saat itu marah kepada pimpinan militer dan politik Israel karena menolak menduduki Jerusalem Timur. ”Kita akan menangis untuk generasi mendatang karena kita gagal membebaskan Jerusalem Timur,” kata Gurion.

Pada perang Arab-Israel bulan Juni 1967, militer Israel berhasil mewujudkan impian PM Gurion. Jerusalem Timur pun diduduki.

Inilah awal mulainya Yahudinisasi Jerusalem Timur. Empat hari setelah menduduki kota Jerusalem Timur pada 5 Juni 1967, Israel menginstruksikan warga Arab di Distrik Magharaba hengkang untuk memperluas halaman Tembok Ratapan, yang terletak di dinding bagian barat kompleks Masjid Al Aqsa. Kompleks Masjid ini diyakini oleh Yahudi sebagai sisa reruntuhan dari Dinasti Salomon.

Pada 26 Juni 1967, tiga pekan setelah menduduki Jerusalem Timur, Pemerintah Israel menyatukan kota Jerusalem dengan dijadikan sebagai ibu kota negara.

Setelah mengontrol semua Jerusalem, Israel mulai meluncurkan proyek pembangunan permukiman Yahudi di Jerusalem Timur. Kini, setelah 42 tahun, jumlah penghuni permukiman Yahudi di sekitar kota suci itu mencapai 180.000 jiwa, sama dengan penghuni permukiman Yahudi di Tepi Barat.

Sejak tahun 1967, telah dibangun 29 permukiman Yahudi di kota Jerusalem Timur dan sekitarnya dan 14 permukiman Yahudi di antaranya di bangun di dalam kota suci. Beberapa rumah Yahudi dibangun di tengah distrik Arab di kompleks kota lama. Luas kompleks kota lama itu hanya 1 km persegi yang terdiri dari empat distrik, yakni distrik Islam, Kristen, Yahudi, dan Armenia.

Semula Israel hanya menguasai distrik Yahudi dan kawasan Tembok Ratapan di kota lama Jerusalem Timur. Namun, sejak pertengahan 1970-an, warga Yahudi mulai membeli rumah-rumah warga Palestina untuk mengurangi jumlah warga Arab di kompleks kota lama itu.

Hunian Ariel Sharon

Kini, warga Yahudi telah menguasai 40 persen perumahan yang ada di kota lama. Rumah-rumah itu kini sudah beralih status menjadi rumah orang Yahudi, kantor, dan hotel. Bahkan, mantan PM Israel Ariel Sharon memiliki rumah di tengah distrik Islam di kota lama itu.

Yahudinisasi Jerusalem Timur tidak sebatas di permukaan tanah, tetapi juga di bawah permukaan tanah. Israel kini telah membangun terowongan. Kini telah dibangun kota mini di bawah permukaan kota lama.

Di bawah permukaan kota lama kini terdapat museum-museum dan jalan-jalan yang saling menghubungkan warga Yahudi. Sejak awal tahun 1980-an, Israel mulai melakukan aksi Yahudinisasi pula di kawasan lingkaran Masjid Al Aqsa untuk menguasai rumah-rumah warga Arab di kawasan tersebut.

Israel telah membongkar 88 gedung yang dihuni sekitar 1.500 warga Palestina di Distrik Salwan di kawasan lingkaran Masjid Al Aqsa. Di distrik tersebut terdapat dua kompleks kuburan Islam.

Israel berdalih akan dibangun pusat perbelanjaan dan tempat parkir mobil di Distrik Salwan. Israel juga sudah banyak membeli rumah-rumah Palestina di kawasan lingkaran kompleks Masjid Al Aqsa yang lain, seperti Distrik Sheikh Garah, Jabal Zaitun, dan Mandub Shami.

Antara tahun 2001-2005, Israel telah membongkar 667 rumah Palestina di Jerusalem Timur. Kota Jerusalem Timur kini berpenduduk 410.000 jiwa yang terdiri atas 184.000 warga Yahudi (45 persen) dan 226.000 jiwa warga Arab (55 persen).

Jika masyarakat internasional tak berdaya membendung aksi Yahudinisasi Jerusalem Timur, kota suci itu tinggal menanti akhir hayatnya sebagai kota Arab, alias kehilangan identitas.

If there’s a will, there’s a way

Suatu ketika aku sedang membaca Al-Quran surat Al-‘ankabut dan akhirnya terhenti di ayat yang terakhir. Aku sangat tertarik dengan arti dari ayat tersebut karena memang berkenaan dengan kebimbanganku tentang sesuatu yang kuinginkan. Aku merasa ragu apakah aku bisa melakukannya atau tidak. Tapi ketika aku membaca ayat tersebut, timbulah kepercayaan diri dan optimisme. Pepatah yang mengatakan bahwa jika kita ada kemauan pasti ada jalan, semakin merasuk ke dalam hatiku setelah membaca ayat tersebut. Karena memang di sini Allah sendiri yang menjamin, bahwa jika kita bersungguh-sungguh pasti Allah akan menunjukkan jalan-Nya. Dan kadang jalan itu tidak bisa diduga dan tidak terpikirkan sebelumnya. Untuk yang belum tahu redaksi ayatnya, silakan lihat di bawah ini.

﴿ وَالَّذِينَ جَاهَدُوا فِينَا لَنَهْدِيَنَّهُمْ سُبُلَنَا وَإِنَّ اللَّهَ لَمَعَ الْمُحْسِنِينَ ﴾

Artinya : Dan orang-orang yang berjihad untuk (mencari keridaan) Kami, benar-benar akan Kami tunjukkan kepada mereka jalan-jalan Kami. Dan sesungguhnya Allah benar-benar beserta orang-orang yang berbuat baik. (QS Al-‘ankabut : 69)

Jadi, gapailah mimpimu tanpa ragu!

Save Our Palestine!!!

Tahun baru 2008 ini (baik itu tahun baru islam maupun tahun baru masehi) diwarnai dengan genangan darah warga Palestine. Zionis Israel dengan tanpa belas kasihan membunuh ratusan manusia tak berdosa dan melukai ribuan lainnya. Hanya dengan alasan ingin memburu kelompok hamas, bom-bom Israel meluncur menghabisi semua yang ada di wilayah yang dicurigai sebagai markas hamas. Anak kecil, wanita, bahkan orang tua tak luput menjadi sasaran pembantaian Israel la’natullah. Dan yang paling membuat sedih, sebal, marah, adalah PBB dan amerika (yang katanya pembela HAM) hanya bisa diam. Dimana hati kalian? dimana otak kalian? Semua orang normal pun akan merasakan kepedihan terhadap pembantaian apalagi terhadap orang yang tidak berdosa.

Kita sebagai orang yang mengaku beriman tidak sepantasnya tinggal diam melihat saudara kita di Palestina yang dizhalimi oleh zionis Israel. Kita sesama muslim bagaikan satu tubuh. Apabila salah satu bagian tubuh kita ada yang terluka, maka kita juga akan merasa terluka. Oleh karena itu, kita wajib melakukan sesuatu untuk membantu jihad mereka. Tapi bagaimana caranya? Mungkin itulah pertanyaan yang ada dalam benak kita. Di bawah ini ada beberapa langkah yang bisa kita lakukan untuk membantu perjuangan Palestina, di antaranya :

1. Memahami Kondisi dan Problematika Palestina

Kewajiban pertama yang paling fundamental bagi seorang muslim adalah memahami akar masalah Palestina (Al-Quds) bahwa masalah Palestina adalah masalah umat Islam. Perebutan kekuasaan yang terjadi di tanah suci itu bukan perebutan antara dua bangsa, Arab dan Israel. Tetapi, perang agama antara Islam dan Yahudi.“Sesungguhnya kamu dapati orang-orang yang paling keras permusuhannya terhadap orang-orang yang beriman ialah orang-orang Yahudi dan orang-orang musyrik.” [Al-Maidah (5): 82]. Dari Abu Hurairah bahwa Rasulullah saw. bersabda: “Tidak akan terjadi kiamat sehingga kaum muslimin berperang dengan yahudi. Maka kaum muslimin membunuh mereka sampai ada seorang yahudi bersembunyi di belakang batu-batuan dan pohon-pohonan. Dan berkatalah batu dan pohon, wahai muslim, wahai hamba Allah, ini yahudi di belakangku, kemari dan bunuhlah ia; kecuali pohon gorqhod karena ia adalah pohon yahudi.” (HR Muslim).

Masalah Palestina bukan hanya masalah bangsa Palestina dan bangsa Arab saja. Tetapi masalah seluruh umat Islam, bahkan masalah kemanusiaan secara keseluruhan. Atas dasar pandangan akidah inilah seluruh umat Islam wajib memahami kondisi dan permasalahan Palestina.

2. Mensosialisasikan Kondisi dan Problematika Palestina kepada yang lain.

Setelah memahami permasalahan dan kondisi Palestina, maka mereka harus mensosialisasikan pemahaman ini kepada seluruh umat Islam. Masih banyak umat Islam yang belum memahami kondisi dan permasalahan Palestina. Hal ini terjadi karena banyak sebab, di antaranya faktor lemahnya keimanan dan problematika yang dihadapi oleh umat Islam itu sendiri di seluruh dunia.Oleh karena itu setiap individu yang mengaku muslim harus memahamkan pada umat Islam yang lain di seluruh dunia bahwa masalah Palestina adalah masalah utama umat, dan masa depan umat akan sangat terkait dengan perjuangannya terhadap Palestina. Bahwa di Palestina ada Al-Masjid Al-Aqsa kiblat pertama umat Islam yang sedang terancam. Bahwa Rasulullah saw. memimpin shalat berjama’ah yang diikuti oleh para nabi dan rasul pada peristiwa Isra’ yang merupakan pewarisan tanah Palestina pada umat Islam. Bahwa Umar bin Khattab r.a. menerima penyerahan kunci langsung Kota Palestina (Al-Quds).

3. Jihad dengan Harta

Kewajiban selanjutnya bagi umat Islam adalah berjihad dengan harta mereka. Umat Islam harus menyisihkan sebagian rezekinya minimal 1% untuk perjuangan Palestina. Karena jihad di Palestina sangat membutuhkan harta. Dan di sana juga banyak janda, anak yatim, anak sekolah, mahasiswa, orang yang kehilangan rumah dan pencaharian akibat konflik dan perang yang belum diketahui akhirnya. Semua itu sangat membutuhkan uluran tangan umat Islam lainnya yang mampu.

4. Jihad dengan Jiwa

Terdapat perbedaan mendasar dalam sifat perang di Palestina. Bila perang di Palestina dinyatakan sebagai perang antara dua bangsa atau dua negara, maka tidak boleh ada keterlibatan pihak lain di luar dua pihak yang bertikai tanpa ada permintaan untuk terlibat dari salah satu pihak yang berperang. Keterlibatan tanpa ada permintaan untuk terlibat berarti pelanggaran kedaulatan sebuah negara yang bertentangan dengan hukum internasional. Kenyataan yang terjadi adalah bahwa perang di Palestina adalah perang agama antara Islam dan Yahudi yang mengundang keterlibatan semua umat Islam dan kaum Yahudi di seluruh dunia, di setiap bangsa dan negara mana pun. Maka, hukum perang di Palestina adalah jihad fii sabiilillah yang diwajibkan atas setiap umat Islam di seluruh dunia sesuai dengan kondisi mereka di setiap tempat.“Diwajibkan atas kalian berperang sedangkan kalian membencinya. Barangkali kalian membenci sesuatu, tetapi itu baik bagi kalian. Dan barangkali kalian menyukai sesuatu sedangkan itu buruk bagi kalian. Dan Allah Maha Mengetahui apa yang kalian tidak ketahui.” [Al-Baqarah (2): 216].

“Orang-orang yang beriman kepada Allah dan hari kemudian, tidak akan meminta izin kepadamu untuk (tidak ikut) berjihad dengan harta dan diri mereka. Dan Allah mengetahui orang-orang yang bertakwa.” [At-Taubah (9): 44].

Palestina adalah tanah waqaf umat Islam yang harus dipertahankan sampai kapan pun. Pembelaan kita terhadap Palestina bukan karena mereka orang-orang Arab, melainkan karena mereka adalah muslim dan karena Palestina adalah salah satu dari tiga tempat suci umat Islam yang dimuliakan Allah. Karena itu, permasalahan Palestina harus dijadikan konsentrasi utama umat Islam.

5. Doa

Dan kewajiban yang paling minimal yang harus terus dilakukan oleh setiap umat Islam adalah berdoa. Doa orang beriman kepada saudaranya tanpa sepengetahuan mereka adalah maqbul.